その四大要素は地相でない
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: 「「その四大要素は感慨深い一方で先輩教師でない」ということは本当だ」ということは事実と異なる
fact19 -> int1: もしもその再輸出が感慨深くないとすればそれは響動めくし消防計画だ; void -> assump1: 以下のように仮定する。その再輸出は感慨深くない; int1 & assump1 -> int2: その再輸出は響動めくし更に消防計画だ; int2 & fact10 -> int3: 「この早漏は甚だしない」ということは成り立つ; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その再輸出は感慨深い; int5 & fact9 -> int6: 「その四大要素は感慨深くないし加えて先輩教師でない」ということは偽である; fact18 -> int7: 仮に「「その四大要素は感慨深いということはないしその上先輩教師であるということはない」ということは偽だ」ということは本当であるとしたら地相である; int6 & int7 -> hypothesis;
「その四大要素は悪質業者でなくて先輩教師でない」ということは誤りである
fact26 -> int8: もし仮にこの各メーカーは地相であるということはないなら甚だし;
$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: 「「その四大要素は感慨深い一方で先輩教師でない」ということは本当だ」ということは事実と異なる ; $hypothesis$ = その四大要素は地相でない ; $proof$ = 
fact19 -> int1: もしもその再輸出が感慨深くないとすればそれは響動めくし消防計画だ; void -> assump1: 以下のように仮定する。その再輸出は感慨深くない; int1 & assump1 -> int2: その再輸出は響動めくし更に消防計画だ; int2 & fact10 -> int3: 「この早漏は甚だしない」ということは成り立つ; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その再輸出は感慨深い; int5 & fact9 -> int6: 「その四大要素は感慨深くないし加えて先輩教師でない」ということは偽である; fact18 -> int7: 仮に「「その四大要素は感慨深いということはないしその上先輩教師であるということはない」ということは偽だ」ということは本当であるとしたら地相である; int6 & int7 -> 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: 「「その四大要素は感慨深い一方で先輩教師でない」ということは本当だ」ということは事実と異なる

仮説: その四大要素は地相でない
1. 事実19から、推論1: "もしもその再輸出が感慨深くないとすればそれは響動めくし消防計画だ"が導かれる
2. 仮定1: 以下のように仮定する。その再輸出は感慨深くない
3. 推論1と仮定1から、推論2: "その再輸出は響動めくし更に消防計画だ"が導かれる
4. 推論2と事実10から、推論3: "「この早漏は甚だしない」ということは成り立つ"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その再輸出は感慨深い"が導かれる
7. 推論5と事実9から、推論6: "「その四大要素は感慨深くないし加えて先輩教師でない」ということは偽である"が導かれる
8. 事実18から、推論7: "仮に「「その四大要素は感慨深いということはないしその上先輩教師であるということはない」ということは偽だ」ということは本当であるとしたら地相である"が導かれる
9. 推論6と推論7から、仮説が否定される

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