その婦人運動は轟く
fact1: あのＮＳは落ち難くない fact2: もし仮に「あの普通科は教科書会社だがしかし有るらしくない」ということは成り立たないとしたら有るらしい fact3: あのＮＳは教科書会社でない fact4: あの普通科は県政だとしたら「あのＮＳは覚ますということはないがしかしそれは有るらしい」ということは成り立たない fact5: 「あのＮＳは覚ますがしかし県政でない」ということは正しくない fact6: 「あのＮＳは教科書会社であるがそれは覚まさない」ということは成り立たない fact7: 「あの普通科は覚ます一方で有るらしくない」ということは間違っている fact8: 仮に「その婦人運動は有るらしい」ということは成り立つとすると「あの普通科は有るらしい一方でそれは覚まさない」ということは間違いである fact9: 「あのＮＳは轟くがそれは覚ますということはない」ということは偽だ fact10: 仮にその婦人運動が県政ならば轟かない fact11: あの普通科は掛け難くない fact12: 仮にあのＮＳが轟くとしたらその婦人運動は轟く fact13: 「その婦人運動は教科書会社だがしかし轟かない」ということは成り立たない fact14: あの横死は轟く fact15: 仮に「あるものは覚ます一方で教科書会社でない」ということは間違いだとするとそれは県政であるということはない fact16: もしもあのＮＳは覚ませば「その婦人運動は覚ますけど県政でない」ということは正しくない fact17: もし「なんらかのものは覚ます一方で県政だということはない」ということは成り立たないとするとそれは轟かない fact18: もしもあのＮＳが覚まさないとしたらあの普通科は有るらしいということはない fact19: もし「この甘酒は生産進捗情報であるがしかし有るらしくない」ということは成り立たないとすればそれは有るらしい fact20: 「このコークスは教科書会社であるししかも中央省庁等改革だ」ということは正しい fact21: 「あの普通科は教科書会社だけど有るらしいということはない」ということは成り立たない fact22: あの普通科は覚まさない
void -> assump1: 以下のように仮定する。あのＮＳは覚まさない; fact18 & assump1 -> int1: あの普通科は有るらしいということはない; fact21 & fact2 -> int2: あの普通科は有るらしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＮＳは覚ます; int4 & fact16 -> int5: 「その婦人運動は覚ますけれど県政でない」ということは事実でない; fact17 -> int6: 「その婦人運動は覚ます一方で県政だということはない」ということは誤っているとすれば轟かない; int5 & int6 -> hypothesis;
その婦人運動は轟く
fact23 -> int7: このコークスは教科書会社だ; int7 -> int8: 「何かは教科書会社だ」ということは真実だ;
$facts$ = fact1: あのＮＳは落ち難くない fact2: もし仮に「あの普通科は教科書会社だがしかし有るらしくない」ということは成り立たないとしたら有るらしい fact3: あのＮＳは教科書会社でない fact4: あの普通科は県政だとしたら「あのＮＳは覚ますということはないがしかしそれは有るらしい」ということは成り立たない fact5: 「あのＮＳは覚ますがしかし県政でない」ということは正しくない fact6: 「あのＮＳは教科書会社であるがそれは覚まさない」ということは成り立たない fact7: 「あの普通科は覚ます一方で有るらしくない」ということは間違っている fact8: 仮に「その婦人運動は有るらしい」ということは成り立つとすると「あの普通科は有るらしい一方でそれは覚まさない」ということは間違いである fact9: 「あのＮＳは轟くがそれは覚ますということはない」ということは偽だ fact10: 仮にその婦人運動が県政ならば轟かない fact11: あの普通科は掛け難くない fact12: 仮にあのＮＳが轟くとしたらその婦人運動は轟く fact13: 「その婦人運動は教科書会社だがしかし轟かない」ということは成り立たない fact14: あの横死は轟く fact15: 仮に「あるものは覚ます一方で教科書会社でない」ということは間違いだとするとそれは県政であるということはない fact16: もしもあのＮＳは覚ませば「その婦人運動は覚ますけど県政でない」ということは正しくない fact17: もし「なんらかのものは覚ます一方で県政だということはない」ということは成り立たないとするとそれは轟かない fact18: もしもあのＮＳが覚まさないとしたらあの普通科は有るらしいということはない fact19: もし「この甘酒は生産進捗情報であるがしかし有るらしくない」ということは成り立たないとすればそれは有るらしい fact20: 「このコークスは教科書会社であるししかも中央省庁等改革だ」ということは正しい fact21: 「あの普通科は教科書会社だけど有るらしいということはない」ということは成り立たない fact22: あの普通科は覚まさない ; $hypothesis$ = その婦人運動は轟く ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＮＳは覚まさない; fact18 & assump1 -> int1: あの普通科は有るらしいということはない; fact21 & fact2 -> int2: あの普通科は有るらしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＮＳは覚ます; int4 & fact16 -> int5: 「その婦人運動は覚ますけれど県政でない」ということは事実でない; fact17 -> int6: 「その婦人運動は覚ます一方で県政だということはない」ということは誤っているとすれば轟かない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: あのＮＳは落ち難くない
事実2: もし仮に「あの普通科は教科書会社だがしかし有るらしくない」ということは成り立たないとしたら有るらしい
事実3: あのＮＳは教科書会社でない
事実4: あの普通科は県政だとしたら「あのＮＳは覚ますということはないがしかしそれは有るらしい」ということは成り立たない
事実5: 「あのＮＳは覚ますがしかし県政でない」ということは正しくない
事実6: 「あのＮＳは教科書会社であるがそれは覚まさない」ということは成り立たない
事実7: 「あの普通科は覚ます一方で有るらしくない」ということは間違っている
事実8: 仮に「その婦人運動は有るらしい」ということは成り立つとすると「あの普通科は有るらしい一方でそれは覚まさない」ということは間違いである
事実9: 「あのＮＳは轟くがそれは覚ますということはない」ということは偽だ
事実10: 仮にその婦人運動が県政ならば轟かない
事実11: あの普通科は掛け難くない
事実12: 仮にあのＮＳが轟くとしたらその婦人運動は轟く
事実13: 「その婦人運動は教科書会社だがしかし轟かない」ということは成り立たない
事実14: あの横死は轟く
事実15: 仮に「あるものは覚ます一方で教科書会社でない」ということは間違いだとするとそれは県政であるということはない
事実16: もしもあのＮＳは覚ませば「その婦人運動は覚ますけど県政でない」ということは正しくない
事実17: もし「なんらかのものは覚ます一方で県政だということはない」ということは成り立たないとするとそれは轟かない
事実18: もしもあのＮＳが覚まさないとしたらあの普通科は有るらしいということはない
事実19: もし「この甘酒は生産進捗情報であるがしかし有るらしくない」ということは成り立たないとすればそれは有るらしい
事実20: 「このコークスは教科書会社であるししかも中央省庁等改革だ」ということは正しい
事実21: 「あの普通科は教科書会社だけど有るらしいということはない」ということは成り立たない
事実22: あの普通科は覚まさない

仮説: その婦人運動は轟く
1. 仮定1: 以下のように仮定する。あのＮＳは覚まさない
2. 事実18と仮定1から、推論1: "あの普通科は有るらしいということはない"が導かれる
3. 事実21と事実2から、推論2: "あの普通科は有るらしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのＮＳは覚ます"が導かれる
6. 推論4と事実16から、推論5: "「その婦人運動は覚ますけれど県政でない」ということは事実でない"が導かれる
7. 事実17から、推論6: "「その婦人運動は覚ます一方で県政だということはない」ということは誤っているとすれば轟かない"が導かれる
8. 推論5と推論6から、仮説が否定される

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