この納付期限は細くない
fact1: もし「あの説明文書は泥酔するけどそれは三百人以上でない」ということは間違いだとしたらこの大王世代系譜は三百人以上である fact2: もし「この却下は細い」ということは真実であるとしたら騙す fact3: この却下は左右され易い fact4: 細い物は騙す fact5: もしもこのリキシャが茶色っぽいとするとこの却下は危なくない fact6: 仮に厳めしい物は騙さないならば「細くない」ということは真実である fact7: もし仮に「この却下は騙さない一方で厳めしい」ということは成り立たないならこの納付期限は騙す fact8: もし仮にこの却下が騙すとしたらこの納付期限は厳めしい fact9: 茶色っぽくないものは細いしそれに危ない fact10: 「このＣＯ国家は開発期間である」ということは成り立つ fact11: あの最適化は細い fact12: 「この却下は騙す」ということは正しい fact13: もしあの谷底が厳めしいとすると爆弾虫だ fact14: 「この納付期限は騙す」ということは本当である fact15: この自然植生は厳めしい fact16: もし仮にこの米飯は三百人以上でないならば合わせないしさらに太史局でない fact17: もしもなにかは開発期間であるとしたらそれは御分霊である fact18: もしこの大王世代系譜が三百人以上であるとするとこの米飯は合わせないし更に太史局でない fact19: 「この蓮華文は騙す」ということは正しい fact20: この却下が騙せば厳めしい fact21: もしもその洪水玄武岩が騙すとすると細い fact22: この却下が厳めしいとすればこの納付期限は細い fact23: この米飯が合わせないしまた太史局でないならこのリキシャは茶色っぽくない fact24: もしもこの却下が危ないということはないとすればこの納付期限は厳めしい一方で騙すということはない
fact20 & fact12 -> int1: この却下は厳めしい; int1 & fact22 -> hypothesis;
この納付期限は細くない
fact25 -> int2: もしもこの納付期限が厳めしいけどそれが騙すということはないとすればそれは細くない; fact29 -> int3: もしこのＣＯ国家は開発期間であるとしたらそれは御分霊である; int3 & fact27 -> int4: このＣＯ国家は御分霊だ; int4 -> int5: 何らかのものは御分霊である;
$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: もしもこの却下が危ないということはないとすればこの納付期限は厳めしい一方で騙すということはない ; $hypothesis$ = この納付期限は細くない ; $proof$ = 
fact20 & fact12 -> int1: この却下は厳めしい; int1 & fact22 -> 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: もしもこの却下が危ないということはないとすればこの納付期限は厳めしい一方で騙すということはない

仮説: この納付期限は細くない
1. 事実20と事実12から、推論1: "この却下は厳めしい"が導かれる
2. 推論1と事実22から、仮説が否定される

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