あの菩提寺は予期しない
fact1: あの歯ブラシが僻みっぽくないならあの国毎は残り難い fact2: あの歯ブラシが予期すればそれは残り難いということはない fact3: もし「とあるものは予期しないがしかし覚え難い」ということは事実と異なればコンチェルトであるということはない fact4: あの歯ブラシは資産評価調整加算額だ fact5: あの歯ブラシは僻みっぽいとすれば「あの国毎は残り難くて覚え難い」ということは成り立つということはない fact6: もしあの菩提寺が僻みっぽいならそれは予期しない fact7: 覚え難い物は取り掛かり易いが予期するということはない fact8: 「あの国毎は僻みっぽい」ということは間違いでない fact9: コンチェルトは覚え難くない fact10: あの歯ブラシはコンチェルトであるとすると覚え難くない fact11: 僻みっぽくないしおまけに御寒いということはないものは覚え難くない fact12: もしも「あの菩提寺は予期しないけど覚え難い」ということは成り立たないとしたらそれは残り難くない fact13: あの国毎は僻みっぽいならば「あの歯ブラシはコンチェルトでないがしかしそれは残り難い」ということは間違いだ fact14: あの歯ブラシが予期するとすればコンチェルトでない fact15: 仮に「あの歯ブラシは残り難くない一方で僻みっぽい」ということは誤っているとすればコンチェルトでない fact16: 従兄弟同士は僻みっぽいということはなくて加えて御寒いということはない fact17: 「あの菩提寺は予期しない一方でもどかしい」ということは偽である fact18: 「あの歯ブラシはコンチェルトでしかも残り難い」ということは成り立つということはない fact19: 「あの菩提寺が残り難いしその上それは予期する」ということは誤りである fact20: 仮に「なにかはコンチェルトであるということはないけれど残り難い」ということは誤りならばそれは覚え難くない fact21: もしもあの歯ブラシは覚え難くないとしたら「あの菩提寺は予期する」ということは成り立つ fact22: もしもあの国毎は僻みっぽいとすると「あの歯ブラシはコンチェルトだしそれに残り難い」ということは成り立たない fact23: 「あの国毎は覚え難いしその上スペイン風邪だ」ということは誤りだ fact24: 「あのＡＰＩは冷め易くないけれど生温い」ということは間違いである
fact20 -> int1: もしも「あの歯ブラシはコンチェルトでない一方でそれは残り難い」ということは成り立つということはないとするとそれは覚え難くない; fact8 & fact13 -> int2: 「あの歯ブラシはコンチェルトでないが残り難い」ということは嘘だ; int1 & int2 -> int3: あの歯ブラシは覚え難くない; int3 & fact21 -> hypothesis;
fact20 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact8 & fact13 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact21 -> hypothesis;
「その作者名は取り掛かり易い」ということは成り立つ
fact27 -> int4: もしその作者名が覚え難いとすれば取り掛かり易いしかつ予期しない; fact26 -> int5: 仮にその作者名が僻みっぽくなくてまたそれが御寒くないならそれは覚え難い; fact25 -> int6: もしその作者名が従兄弟同士ならば僻みっぽくないしそれに御寒くない;
$facts$ = fact1: あの歯ブラシが僻みっぽくないならあの国毎は残り難い fact2: あの歯ブラシが予期すればそれは残り難いということはない fact3: もし「とあるものは予期しないがしかし覚え難い」ということは事実と異なればコンチェルトであるということはない fact4: あの歯ブラシは資産評価調整加算額だ fact5: あの歯ブラシは僻みっぽいとすれば「あの国毎は残り難くて覚え難い」ということは成り立つということはない fact6: もしあの菩提寺が僻みっぽいならそれは予期しない fact7: 覚え難い物は取り掛かり易いが予期するということはない fact8: 「あの国毎は僻みっぽい」ということは間違いでない fact9: コンチェルトは覚え難くない fact10: あの歯ブラシはコンチェルトであるとすると覚え難くない fact11: 僻みっぽくないしおまけに御寒いということはないものは覚え難くない fact12: もしも「あの菩提寺は予期しないけど覚え難い」ということは成り立たないとしたらそれは残り難くない fact13: あの国毎は僻みっぽいならば「あの歯ブラシはコンチェルトでないがしかしそれは残り難い」ということは間違いだ fact14: あの歯ブラシが予期するとすればコンチェルトでない fact15: 仮に「あの歯ブラシは残り難くない一方で僻みっぽい」ということは誤っているとすればコンチェルトでない fact16: 従兄弟同士は僻みっぽいということはなくて加えて御寒いということはない fact17: 「あの菩提寺は予期しない一方でもどかしい」ということは偽である fact18: 「あの歯ブラシはコンチェルトでしかも残り難い」ということは成り立つということはない fact19: 「あの菩提寺が残り難いしその上それは予期する」ということは誤りである fact20: 仮に「なにかはコンチェルトであるということはないけれど残り難い」ということは誤りならばそれは覚え難くない fact21: もしもあの歯ブラシは覚え難くないとしたら「あの菩提寺は予期する」ということは成り立つ fact22: もしもあの国毎は僻みっぽいとすると「あの歯ブラシはコンチェルトだしそれに残り難い」ということは成り立たない fact23: 「あの国毎は覚え難いしその上スペイン風邪だ」ということは誤りだ fact24: 「あのＡＰＩは冷め易くないけれど生温い」ということは間違いである ; $hypothesis$ = あの菩提寺は予期しない ; $proof$ = 
fact20 -> int1: もしも「あの歯ブラシはコンチェルトでない一方でそれは残り難い」ということは成り立つということはないとするとそれは覚え難くない; fact8 & fact13 -> int2: 「あの歯ブラシはコンチェルトでないが残り難い」ということは嘘だ; int1 & int2 -> int3: あの歯ブラシは覚え難くない; int3 & fact21 -> hypothesis; __DISPROVED__
事実1: あの歯ブラシが僻みっぽくないならあの国毎は残り難い
事実2: あの歯ブラシが予期すればそれは残り難いということはない
事実3: もし「とあるものは予期しないがしかし覚え難い」ということは事実と異なればコンチェルトであるということはない
事実4: あの歯ブラシは資産評価調整加算額だ
事実5: あの歯ブラシは僻みっぽいとすれば「あの国毎は残り難くて覚え難い」ということは成り立つということはない
事実6: もしあの菩提寺が僻みっぽいならそれは予期しない
事実7: 覚え難い物は取り掛かり易いが予期するということはない
事実8: 「あの国毎は僻みっぽい」ということは間違いでない
事実9: コンチェルトは覚え難くない
事実10: あの歯ブラシはコンチェルトであるとすると覚え難くない
事実11: 僻みっぽくないしおまけに御寒いということはないものは覚え難くない
事実12: もしも「あの菩提寺は予期しないけど覚え難い」ということは成り立たないとしたらそれは残り難くない
事実13: あの国毎は僻みっぽいならば「あの歯ブラシはコンチェルトでないがしかしそれは残り難い」ということは間違いだ
事実14: あの歯ブラシが予期するとすればコンチェルトでない
事実15: 仮に「あの歯ブラシは残り難くない一方で僻みっぽい」ということは誤っているとすればコンチェルトでない
事実16: 従兄弟同士は僻みっぽいということはなくて加えて御寒いということはない
事実17: 「あの菩提寺は予期しない一方でもどかしい」ということは偽である
事実18: 「あの歯ブラシはコンチェルトでしかも残り難い」ということは成り立つということはない
事実19: 「あの菩提寺が残り難いしその上それは予期する」ということは誤りである
事実20: 仮に「なにかはコンチェルトであるということはないけれど残り難い」ということは誤りならばそれは覚え難くない
事実21: もしもあの歯ブラシは覚え難くないとしたら「あの菩提寺は予期する」ということは成り立つ
事実22: もしもあの国毎は僻みっぽいとすると「あの歯ブラシはコンチェルトだしそれに残り難い」ということは成り立たない
事実23: 「あの国毎は覚え難いしその上スペイン風邪だ」ということは誤りだ
事実24: 「あのＡＰＩは冷め易くないけれど生温い」ということは間違いである

仮説: あの菩提寺は予期しない
1. 事実20から、推論1: "もしも「あの歯ブラシはコンチェルトでない一方でそれは残り難い」ということは成り立つということはないとするとそれは覚え難くない"が導かれる
2. 事実8と事実13から、推論2: "「あの歯ブラシはコンチェルトでないが残り難い」ということは嘘だ"が導かれる
3. 推論1と推論2から、推論3: "あの歯ブラシは覚え難くない"が導かれる
4. 推論3と事実21から、仮説が否定される

よって、仮説が否定されました。