「もし「そのイバーダンは彫り上げない」ということは成り立たないとすればあの社会・経済活動はイエローテールである」ということは成り立たない
fact1: もしも「あの停戦協定は子供っぽい」ということは正しいならば傾き易い fact2: もしもあるものが第九レースでないとすればそれは幻冬舎である fact3: もしもこの公害訴訟が根強くないとすればあの社会・経済活動は心エコー所見でない fact4: 「あの停戦協定は子供っぽい」ということは本当だ fact5: なにがしかの物は御報告頂く fact6: 「傾き易い」物はある fact7: もしも何らかのものは心エコー所見でないとしたらそれはイエローテールだ fact8: もし「「彫り上げるし御報告頂く」ということは成り立つ」ものがあるとしたらこの公害訴訟は根強くない fact9: もし仮にあの停戦協定が傾き易いとしたらそのイバーダンは御報告頂く fact10: もし仮にこの公害訴訟が御報告頂かないなら根強い fact11: もしあの停戦協定が子供っぽいならそれはイエローテールだ
fact1 & fact4 -> int1: あの停戦協定は傾き易い; int1 & fact9 -> int2: そのイバーダンは御報告頂く; void -> assump1: 以下のように仮定する。「「そのイバーダンは彫り上げるということはない」ということは正しい」ということは嘘だ; int2 & assump1 -> int3: そのイバーダンは彫り上げるしそれは御報告頂く; int3 -> int4: 「彫り上げるしかつ御報告頂く」物はある; int4 & fact8 -> int5: この公害訴訟は根強くない; int5 & fact3 -> int6: あの社会・経済活動は心エコー所見でない; fact7 -> int7: もしあの社会・経済活動が心エコー所見でないとすればイエローテールである; int6 & int7 -> int8: あの社会・経済活動はイエローテールだ; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もしも「あの停戦協定は子供っぽい」ということは正しいならば傾き易い fact2: もしもあるものが第九レースでないとすればそれは幻冬舎である fact3: もしもこの公害訴訟が根強くないとすればあの社会・経済活動は心エコー所見でない fact4: 「あの停戦協定は子供っぽい」ということは本当だ fact5: なにがしかの物は御報告頂く fact6: 「傾き易い」物はある fact7: もしも何らかのものは心エコー所見でないとしたらそれはイエローテールだ fact8: もし「「彫り上げるし御報告頂く」ということは成り立つ」ものがあるとしたらこの公害訴訟は根強くない fact9: もし仮にあの停戦協定が傾き易いとしたらそのイバーダンは御報告頂く fact10: もし仮にこの公害訴訟が御報告頂かないなら根強い fact11: もしあの停戦協定が子供っぽいならそれはイエローテールだ ; $hypothesis$ = 「もし「そのイバーダンは彫り上げない」ということは成り立たないとすればあの社会・経済活動はイエローテールである」ということは成り立たない ; $proof$ = 
fact1 & fact4 -> int1: あの停戦協定は傾き易い; int1 & fact9 -> int2: そのイバーダンは御報告頂く; void -> assump1: 以下のように仮定する。「「そのイバーダンは彫り上げるということはない」ということは正しい」ということは嘘だ; int2 & assump1 -> int3: そのイバーダンは彫り上げるしそれは御報告頂く; int3 -> int4: 「彫り上げるしかつ御報告頂く」物はある; int4 & fact8 -> int5: この公害訴訟は根強くない; int5 & fact3 -> int6: あの社会・経済活動は心エコー所見でない; fact7 -> int7: もしあの社会・経済活動が心エコー所見でないとすればイエローテールである; int6 & int7 -> int8: あの社会・経済活動はイエローテールだ; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしも「あの停戦協定は子供っぽい」ということは正しいならば傾き易い
事実2: もしもあるものが第九レースでないとすればそれは幻冬舎である
事実3: もしもこの公害訴訟が根強くないとすればあの社会・経済活動は心エコー所見でない
事実4: 「あの停戦協定は子供っぽい」ということは本当だ
事実5: なにがしかの物は御報告頂く
事実6: 「傾き易い」物はある
事実7: もしも何らかのものは心エコー所見でないとしたらそれはイエローテールだ
事実8: もし「「彫り上げるし御報告頂く」ということは成り立つ」ものがあるとしたらこの公害訴訟は根強くない
事実9: もし仮にあの停戦協定が傾き易いとしたらそのイバーダンは御報告頂く
事実10: もし仮にこの公害訴訟が御報告頂かないなら根強い
事実11: もしあの停戦協定が子供っぽいならそれはイエローテールだ

仮説: 「もし「そのイバーダンは彫り上げない」ということは成り立たないとすればあの社会・経済活動はイエローテールである」ということは成り立たない
1. 事実1と事実4から、推論1: "あの停戦協定は傾き易い"が導かれる
2. 推論1と事実9から、推論2: "そのイバーダンは御報告頂く"が導かれる
3. 仮定1: 以下のように仮定する。「「そのイバーダンは彫り上げるということはない」ということは正しい」ということは嘘だ
4. 推論2と仮定1から、推論3: "そのイバーダンは彫り上げるしそれは御報告頂く"が導かれる
5. 推論3から、推論4: "「彫り上げるしかつ御報告頂く」物はある"が導かれる
6. 推論4と事実8から、推論5: "この公害訴訟は根強くない"が導かれる
7. 推論5と事実3から、推論6: "あの社会・経済活動は心エコー所見でない"が導かれる
8. 事実7から、推論7: "もしあの社会・経済活動が心エコー所見でないとすればイエローテールである"が導かれる
9. 推論6と推論7から、推論8: "あの社会・経済活動はイエローテールだ"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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