そのじゃじゃ馬は大健闘でない
fact1: もしもなにかは文章化するとすればそれは大健闘だ fact2: そのじゃじゃ馬は文章化するしかつ幻想交響曲である fact3: そのじゃじゃ馬は微笑み返す fact4: そのじゃじゃ馬は臣従だ fact5: 「その小貫通孔は文章化する」ということは本当だ fact6: 「あの切断手術は手厚くないけれど打ち滅ぼす」ということは成り立たない fact7: もし仮になんらかの物は売却決定取り消しであるとしたらそれは出し難い fact8: もしこの二十日発行が気安いならばあのじゃじゃ馬は気安い fact9: 仮にあの切断手術が大健闘でないけどそれが気安いならこの二十日発行は気安い
fact1 -> int1: もしもそのじゃじゃ馬が文章化するとすれば大健闘である; fact2 -> int2: そのじゃじゃ馬は文章化する; int1 & int2 -> hypothesis;
そのじゃじゃ馬は大健闘でない
fact10 -> int3: 「「手厚いということはないしその上打ち滅ぼす」ということは間違っている」ものはある;
$facts$ = fact1: もしもなにかは文章化するとすればそれは大健闘だ fact2: そのじゃじゃ馬は文章化するしかつ幻想交響曲である fact3: そのじゃじゃ馬は微笑み返す fact4: そのじゃじゃ馬は臣従だ fact5: 「その小貫通孔は文章化する」ということは本当だ fact6: 「あの切断手術は手厚くないけれど打ち滅ぼす」ということは成り立たない fact7: もし仮になんらかの物は売却決定取り消しであるとしたらそれは出し難い fact8: もしこの二十日発行が気安いならばあのじゃじゃ馬は気安い fact9: 仮にあの切断手術が大健闘でないけどそれが気安いならこの二十日発行は気安い ; $hypothesis$ = そのじゃじゃ馬は大健闘でない ; $proof$ = 
fact1 -> int1: もしもそのじゃじゃ馬が文章化するとすれば大健闘である; fact2 -> int2: そのじゃじゃ馬は文章化する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなにかは文章化するとすればそれは大健闘だ
事実2: そのじゃじゃ馬は文章化するしかつ幻想交響曲である
事実3: そのじゃじゃ馬は微笑み返す
事実4: そのじゃじゃ馬は臣従だ
事実5: 「その小貫通孔は文章化する」ということは本当だ
事実6: 「あの切断手術は手厚くないけれど打ち滅ぼす」ということは成り立たない
事実7: もし仮になんらかの物は売却決定取り消しであるとしたらそれは出し難い
事実8: もしこの二十日発行が気安いならばあのじゃじゃ馬は気安い
事実9: 仮にあの切断手術が大健闘でないけどそれが気安いならこの二十日発行は気安い

仮説: そのじゃじゃ馬は大健闘でない
1. 事実1から、推論1: "もしもそのじゃじゃ馬が文章化するとすれば大健闘である"が導かれる
2. 事実2から、推論2: "そのじゃじゃ馬は文章化する"が導かれる
3. 推論1と推論2から、仮説が否定される

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