その引っ込め線はＦＡＴでない
fact1: その昭和史は嫉妬深い fact2: もし仮にあの秘密クラブが稲田であるならばその引っ込め線は強制出来る fact3: 仮にその引っ込め線は葱油であるならば嫉妬深い一方で稲田であるということはない fact4: もしもその引っ込め線が強制出来るとしたらあの秘密クラブはＦＡＴだ fact5: あの秘密クラブは嫉妬深い fact6: もしも「その引っ込め線はファミリーレストランでないけれどめんど臭い」ということは間違いであるなら葱油だ fact7: もしもあの秘密クラブが強制出来るとすればその引っ込め線は稲田だ fact8: もし「あの秘密クラブはＦＡＴである」ということは本当だとすればその引っ込め線は強制出来る fact9: もし仮に嫉妬深いものが賦与するとしたらそれはＦＡＴでない fact10: もし仮になにかはリットン報告書であるならば奥深い fact11: 「その一般タブは賦与する」ということは成り立つ fact12: 仮にあの秘密クラブが賦与するとするとその一般タブは強制出来る fact13: もしもその一般タブが嫉妬深いとするとあの秘密クラブは強制出来る fact14: その一般タブは嫉妬深くてさらに賦与する fact15: 稲田はＦＡＴだ fact16: 何かは嫉妬深いとすればそれは賦与する fact17: もし仮にその引っ込め線が賦与するならその一般タブはＦＡＴだ fact18: あの秘密クラブが嫉妬深いとしたらその一般タブは強制出来る fact19: もし仮にその一般タブは春闘でないとしたら「その引っ込め線はファミリーレストランでない一方でめんど臭い」ということは偽だ
fact14 -> int1: その一般タブは嫉妬深い; int1 & fact13 -> int2: あの秘密クラブは強制出来る; int2 & fact7 -> int3: 「その引っ込め線は稲田である」ということは真実である; fact15 -> int4: もし「その引っ込め線は稲田である」ということは確かであるなら「ＦＡＴでない」ということは事実と異なる; int3 & int4 -> hypothesis;
その引っ込め線はＦＡＴでない
fact20 -> int5: もしもその引っ込め線が嫉妬深いしおまけにそれが賦与すればそれはＦＡＴでない;
$facts$ = fact1: その昭和史は嫉妬深い fact2: もし仮にあの秘密クラブが稲田であるならばその引っ込め線は強制出来る fact3: 仮にその引っ込め線は葱油であるならば嫉妬深い一方で稲田であるということはない fact4: もしもその引っ込め線が強制出来るとしたらあの秘密クラブはＦＡＴだ fact5: あの秘密クラブは嫉妬深い fact6: もしも「その引っ込め線はファミリーレストランでないけれどめんど臭い」ということは間違いであるなら葱油だ fact7: もしもあの秘密クラブが強制出来るとすればその引っ込め線は稲田だ fact8: もし「あの秘密クラブはＦＡＴである」ということは本当だとすればその引っ込め線は強制出来る fact9: もし仮に嫉妬深いものが賦与するとしたらそれはＦＡＴでない fact10: もし仮になにかはリットン報告書であるならば奥深い fact11: 「その一般タブは賦与する」ということは成り立つ fact12: 仮にあの秘密クラブが賦与するとするとその一般タブは強制出来る fact13: もしもその一般タブが嫉妬深いとするとあの秘密クラブは強制出来る fact14: その一般タブは嫉妬深くてさらに賦与する fact15: 稲田はＦＡＴだ fact16: 何かは嫉妬深いとすればそれは賦与する fact17: もし仮にその引っ込め線が賦与するならその一般タブはＦＡＴだ fact18: あの秘密クラブが嫉妬深いとしたらその一般タブは強制出来る fact19: もし仮にその一般タブは春闘でないとしたら「その引っ込め線はファミリーレストランでない一方でめんど臭い」ということは偽だ ; $hypothesis$ = その引っ込め線はＦＡＴでない ; $proof$ = 
fact14 -> int1: その一般タブは嫉妬深い; int1 & fact13 -> int2: あの秘密クラブは強制出来る; int2 & fact7 -> int3: 「その引っ込め線は稲田である」ということは真実である; fact15 -> int4: もし「その引っ込め線は稲田である」ということは確かであるなら「ＦＡＴでない」ということは事実と異なる; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その昭和史は嫉妬深い
事実2: もし仮にあの秘密クラブが稲田であるならばその引っ込め線は強制出来る
事実3: 仮にその引っ込め線は葱油であるならば嫉妬深い一方で稲田であるということはない
事実4: もしもその引っ込め線が強制出来るとしたらあの秘密クラブはＦＡＴだ
事実5: あの秘密クラブは嫉妬深い
事実6: もしも「その引っ込め線はファミリーレストランでないけれどめんど臭い」ということは間違いであるなら葱油だ
事実7: もしもあの秘密クラブが強制出来るとすればその引っ込め線は稲田だ
事実8: もし「あの秘密クラブはＦＡＴである」ということは本当だとすればその引っ込め線は強制出来る
事実9: もし仮に嫉妬深いものが賦与するとしたらそれはＦＡＴでない
事実10: もし仮になにかはリットン報告書であるならば奥深い
事実11: 「その一般タブは賦与する」ということは成り立つ
事実12: 仮にあの秘密クラブが賦与するとするとその一般タブは強制出来る
事実13: もしもその一般タブが嫉妬深いとするとあの秘密クラブは強制出来る
事実14: その一般タブは嫉妬深くてさらに賦与する
事実15: 稲田はＦＡＴだ
事実16: 何かは嫉妬深いとすればそれは賦与する
事実17: もし仮にその引っ込め線が賦与するならその一般タブはＦＡＴだ
事実18: あの秘密クラブが嫉妬深いとしたらその一般タブは強制出来る
事実19: もし仮にその一般タブは春闘でないとしたら「その引っ込め線はファミリーレストランでない一方でめんど臭い」ということは偽だ

仮説: その引っ込め線はＦＡＴでない
1. 事実14から、推論1: "その一般タブは嫉妬深い"が導かれる
2. 推論1と事実13から、推論2: "あの秘密クラブは強制出来る"が導かれる
3. 推論2と事実7から、推論3: "「その引っ込め線は稲田である」ということは真実である"が導かれる
4. 事実15から、推論4: "もし「その引っ込め線は稲田である」ということは確かであるなら「ＦＡＴでない」ということは事実と異なる"が導かれる
5. 推論3と推論4から、仮説が否定される

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