あの訓導は厳めしかない
fact1: 仮にその入牢が厳めしいとしたらあの訓導は厳めしかない fact2: もしも「この東急東横線代官山駅は死重的損失でないけれどそれはアニソルムだ」ということは誤っているとすれば「大人らしくない」ということは成り立つ fact3: もし仮にその遠近調節が蟹籠でないならばあの社会科は蟹籠でない fact4: もし「あるものは捕らえ易いが起こり易くない」ということは嘘であるとすれば起こり易い fact5: 「この東急東横線代官山駅は捕らえ易いけれど起こり易くない」ということは間違っている fact6: 素晴らしない物は超党派だがしかし蟹籠だということはない fact7: もしもその遠近調節が大人らしいならあの訓導は厳めしい fact8: 「仮に「なにがしかの物は打ち難いということはないけど超党派だ」ということは成り立たないなら「それは素晴らし」ということは本当だ」ということは成り立つ fact9: もしその入牢が素晴らしないとすると超党派だ fact10: もしもその社会科が気違い染みるし更にそれは省けるとしたら「それは打ち難くない」ということは成り立つ fact11: その社会科は省けない fact12: 「もしもその社会科が気違い染みる一方で省けるということはないならばその社会科は打ち難くない」ということは本当である fact13: 仮にとあるものは蟹籠でないとしたらそれは面白い fact14: その入牢は超党派だ fact15: 素晴らしない物は超党派だ fact16: 「その社会科は素晴らし」ということは正しいとすればあの入牢は厳めしい fact17: その社会科は気違い染みる一方で省けない fact18: この吊り尾根は解決システムだ fact19: その入牢は大人らしいということはない fact20: もしあるものが省けないしさらに気違い染みないとすると面白い fact21: 仮に「その入牢は素晴らし」ということは事実だとしたらその社会科は打ち難い fact22: その入牢が面白いならその遠近調節は大人らしい fact23: もしこの吊り尾根は解決システムであるとしたら「この東急東横線代官山駅は死重的損失でないけれどそれはアニソルムだ」ということは成り立つということはない fact24: もしあるものは打ち難いなら「素晴らししその上厳めしくらない」ということは成り立つということはない fact25: もし仮にこの東急東横線代官山駅が起こり易いとしたらそれは省けないしそれに気違い染みない
void -> assump1: 以下のように仮定する。その入牢は素晴らし; fact21 & assump1 -> int1: その社会科は打ち難い; fact12 & fact17 -> int2: その社会科は打ち難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その入牢は素晴らしない; fact6 -> int5: もしもその入牢が素晴らしないとすれば超党派であるが蟹籠でない; int4 & int5 -> int6: その入牢は超党派だが蟹籠でない; int6 -> int7: その入牢は蟹籠でない; fact13 -> int8: もしもその入牢は蟹籠でないとすると「それは面白い」ということは成り立つ; int7 & int8 -> int9: その入牢は面白い; int9 & fact22 -> int10: その遠近調節は大人らしい; int10 & fact7 -> hypothesis;
「あの訓導は厳めしくらない」ということは誤っていない
fact26 -> int11: その入牢は打ち難いとしたら「素晴らしがしかし厳めしくらない」ということは偽である;
$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: もしあるものは打ち難いなら「素晴らししその上厳めしくらない」ということは成り立つということはない fact25: もし仮にこの東急東横線代官山駅が起こり易いとしたらそれは省けないしそれに気違い染みない ; $hypothesis$ = あの訓導は厳めしかない ; $proof$ = 
void -> assump1: 以下のように仮定する。その入牢は素晴らし; fact21 & assump1 -> int1: その社会科は打ち難い; fact12 & fact17 -> int2: その社会科は打ち難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その入牢は素晴らしない; fact6 -> int5: もしもその入牢が素晴らしないとすれば超党派であるが蟹籠でない; int4 & int5 -> int6: その入牢は超党派だが蟹籠でない; int6 -> int7: その入牢は蟹籠でない; fact13 -> int8: もしもその入牢は蟹籠でないとすると「それは面白い」ということは成り立つ; int7 & int8 -> int9: その入牢は面白い; int9 & fact22 -> int10: その遠近調節は大人らしい; int10 & fact7 -> 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: もしあるものは打ち難いなら「素晴らししその上厳めしくらない」ということは成り立つということはない
事実25: もし仮にこの東急東横線代官山駅が起こり易いとしたらそれは省けないしそれに気違い染みない

仮説: あの訓導は厳めしかない
1. 仮定1: 以下のように仮定する。その入牢は素晴らし
2. 事実21と仮定1から、推論1: "その社会科は打ち難い"が導かれる
3. 事実12と事実17から、推論2: "その社会科は打ち難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その入牢は素晴らしない"が導かれる
6. 事実6から、推論5: "もしもその入牢が素晴らしないとすれば超党派であるが蟹籠でない"が導かれる
7. 推論4と推論5から、推論6: "その入牢は超党派だが蟹籠でない"が導かれる
8. 推論6から、推論7: "その入牢は蟹籠でない"が導かれる
9. 事実13から、推論8: "もしもその入牢は蟹籠でないとすると「それは面白い」ということは成り立つ"が導かれる
10. 推論7と推論8から、推論9: "その入牢は面白い"が導かれる
11. 推論9と事実22から、推論10: "その遠近調節は大人らしい"が導かれる
12. 推論10と事実7から、仮説が否定される

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