その屠畜場は譲り葉でない
fact1: あの世界化は譲り葉である fact2: 「その屠畜場は幇助犯でない」ということは成り立たない fact3: もしも「その屠畜場は譲り葉である」ということは事実と異ならないとしたらそれは齎せる fact4: 仮にその屠畜場が絆すれば幇助犯だ fact5: その屠畜場は二列目シートであるならそれは譲り葉である fact6: この寺子屋は二列目シートだ fact7: もしもその屠畜場が幇助犯だとすればそれは二列目シートだ
fact7 & fact2 -> int1: その屠畜場は二列目シートである; int1 & fact5 -> hypothesis;
fact7 & fact2 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: あの世界化は譲り葉である fact2: 「その屠畜場は幇助犯でない」ということは成り立たない fact3: もしも「その屠畜場は譲り葉である」ということは事実と異ならないとしたらそれは齎せる fact4: 仮にその屠畜場が絆すれば幇助犯だ fact5: その屠畜場は二列目シートであるならそれは譲り葉である fact6: この寺子屋は二列目シートだ fact7: もしもその屠畜場が幇助犯だとすればそれは二列目シートだ ; $hypothesis$ = その屠畜場は譲り葉でない ; $proof$ = 
fact7 & fact2 -> int1: その屠畜場は二列目シートである; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: あの世界化は譲り葉である
事実2: 「その屠畜場は幇助犯でない」ということは成り立たない
事実3: もしも「その屠畜場は譲り葉である」ということは事実と異ならないとしたらそれは齎せる
事実4: 仮にその屠畜場が絆すれば幇助犯だ
事実5: その屠畜場は二列目シートであるならそれは譲り葉である
事実6: この寺子屋は二列目シートだ
事実7: もしもその屠畜場が幇助犯だとすればそれは二列目シートだ

仮説: その屠畜場は譲り葉でない
1. 事実7と事実2から、推論1: "その屠畜場は二列目シートである"が導かれる
2. 推論1と事実5から、仮説が否定される

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