「「この曹長が苦心惨憺するということはないしさらにそれは軍人らしくない」ということは成り立たない」ということは真実だ
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: その広辞苑は苦心惨憺しない fact26: もし仮にこの原色が憎々しいとしたらそれは白髪門だ fact27: もし何らかの物は山深いならば「それは苦心惨憺するということはなくて軍人らしくない」ということは成り立たない
void -> assump1: 以下のように仮定する。「その広辞苑は山深い」ということは事実である; fact2 & assump1 -> int1: この原色はショッピングバッグである; int1 & fact20 -> int2: このＳＥＤは空々しい; fact6 & fact5 -> int3: この深度は異常渇水でそれに空々しい; fact8 & int3 -> int4: このＳＥＤは空々しかない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その広辞苑は山深くない」ということは真実だ; int6 & fact11 -> int7: その広辞苑は口惜しくない; int7 & fact17 -> int8: あの同族は褒めない; int8 & fact3 -> hypothesis;
「この曹長は苦心惨憺しないししかも軍人らしくない」ということは事実と異なる
fact36 -> int9: この曹長は山深いとしたら「苦心惨憺しないし軍人らしくない」ということは間違いだ; fact35 -> int10: 仮にこの原色が詳しくないがしかしそれは白髪門であるなら空々しかない; fact31 & fact34 -> int11: 「この原色は憎々しい」ということは成り立つ; fact37 & int11 -> int12: この原色は白髪門である; fact29 & int12 -> int13: この原色は詳しいということはないがしかし白髪門だ; int10 & int13 -> int14: 「この原色は空々しかない」ということは正しい; fact30 -> int15: もしもこのＳＥＤは石塀でないとすれば「口惜しいし更にそれは異常渇水でない」ということは事実と異なる; int15 & fact33 -> int16: 「このＳＥＤは口惜しいけど異常渇水でない」ということは事実と異なる; int16 -> int17: 「「口惜しい一方で異常渇水でない」ということは成り立たない」ものはある;
$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: その広辞苑は苦心惨憺しない fact26: もし仮にこの原色が憎々しいとしたらそれは白髪門だ fact27: もし何らかの物は山深いならば「それは苦心惨憺するということはなくて軍人らしくない」ということは成り立たない ; $hypothesis$ = 「「この曹長が苦心惨憺するということはないしさらにそれは軍人らしくない」ということは成り立たない」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その広辞苑は山深い」ということは事実である; fact2 & assump1 -> int1: この原色はショッピングバッグである; int1 & fact20 -> int2: このＳＥＤは空々しい; fact6 & fact5 -> int3: この深度は異常渇水でそれに空々しい; fact8 & int3 -> int4: このＳＥＤは空々しかない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その広辞苑は山深くない」ということは真実だ; int6 & fact11 -> int7: その広辞苑は口惜しくない; int7 & fact17 -> int8: あの同族は褒めない; int8 & fact3 -> 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: その広辞苑は苦心惨憺しない
事実26: もし仮にこの原色が憎々しいとしたらそれは白髪門だ
事実27: もし何らかの物は山深いならば「それは苦心惨憺するということはなくて軍人らしくない」ということは成り立たない

仮説: 「「この曹長が苦心惨憺するということはないしさらにそれは軍人らしくない」ということは成り立たない」ということは真実だ
1. 仮定1: 以下のように仮定する。「その広辞苑は山深い」ということは事実である
2. 事実2と仮定1から、推論1: "この原色はショッピングバッグである"が導かれる
3. 推論1と事実20から、推論2: "このＳＥＤは空々しい"が導かれる
4. 事実6と事実5から、推論3: "この深度は異常渇水でそれに空々しい"が導かれる
5. 事実8と推論3から、推論4: "このＳＥＤは空々しかない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その広辞苑は山深くない」ということは真実だ"が導かれる
8. 推論6と事実11から、推論7: "その広辞苑は口惜しくない"が導かれる
9. 推論7と事実17から、推論8: "あの同族は褒めない"が導かれる
10. 推論8と事実3から、仮説が否定される

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