「その十八人は腐り易いかあるいはそれは有機塩素化合物でないかもしくは両方ともである」ということは嘘だ
fact1: もしもその十八人が済ま無いとしたらあの南方諸島は有機塩素化合物である fact2: 何かは這い蹲らなくてそれが通り易いということはないとしたらそれは腐り易いということはない fact3: あの南方諸島が尽き果てればそれは娯楽化であるということはない fact4: もしなにかは娯楽化でないなら這い蹲らないしその上通り易くない fact5: あの療養介護は腐り易いかまたは付着し易くない fact6: もしもあの療養介護が維持し得るとしたらあの南方諸島は尽き果てる fact7: 仮になにかは済ま無くないとしたら「腐り易いかもしくは有機塩素化合物でない」ということは成り立たない fact8: その十八人は腐り易いかあるいは有機塩素化合物であるかあるいは両方ともだ fact9: あの南方諸島は済ま無い fact10: もしもその逆宣伝は有機塩素化合物ならば「その十八人は腐り易いか有機塩素化合物であるかまたは両方である」ということは本当である fact11: 仮に「その逆宣伝は有機塩素化合物だ」ということは真実であるとすればあの十八人は腐り易いかもしくはそれは有機塩素化合物であるということはないかあるいは両方だ fact12: その逆宣伝は腐り易い fact13: 仮に「あの南方諸島は有機塩素化合物であるかもしくは済ま無いということはないかどちらもだ」ということは事実でないならばその逆宣伝は付着し易い fact14: もしもその逆宣伝が済ま無いとするとあの南方諸島は有機塩素化合物だ fact15: もしもあの南方諸島が済ま無いとするとあの療養介護は付着し易い fact16: もしもあの療養介護が付着し易いならその逆宣伝は有機塩素化合物だ fact17: その逆宣伝は腐り易いかまたはそれは有機塩素化合物でないかまたは両方ともだ fact18: その十八人は引き越すか修行僧であるかまたは両方である
fact15 & fact9 -> int1: あの療養介護は付着し易い; int1 & fact16 -> int2: その逆宣伝は有機塩素化合物である; int2 & fact11 -> hypothesis;
「その逆宣伝は付着し易い」ということは成り立つ
fact23 -> int3: もし仮にあの南方諸島が這い蹲らなくてそれが通り易くないならばそれは腐り易いということはない; fact19 -> int4: もし仮にあの南方諸島は娯楽化であるということはないならばそれは這い蹲らないし通り易くない; fact20 -> int5: 「引き越すかまたは修行僧であるかまたはどちらもな」ものはある;
$facts$ = fact1: もしもその十八人が済ま無いとしたらあの南方諸島は有機塩素化合物である fact2: 何かは這い蹲らなくてそれが通り易いということはないとしたらそれは腐り易いということはない fact3: あの南方諸島が尽き果てればそれは娯楽化であるということはない fact4: もしなにかは娯楽化でないなら這い蹲らないしその上通り易くない fact5: あの療養介護は腐り易いかまたは付着し易くない fact6: もしもあの療養介護が維持し得るとしたらあの南方諸島は尽き果てる fact7: 仮になにかは済ま無くないとしたら「腐り易いかもしくは有機塩素化合物でない」ということは成り立たない fact8: その十八人は腐り易いかあるいは有機塩素化合物であるかあるいは両方ともだ fact9: あの南方諸島は済ま無い fact10: もしもその逆宣伝は有機塩素化合物ならば「その十八人は腐り易いか有機塩素化合物であるかまたは両方である」ということは本当である fact11: 仮に「その逆宣伝は有機塩素化合物だ」ということは真実であるとすればあの十八人は腐り易いかもしくはそれは有機塩素化合物であるということはないかあるいは両方だ fact12: その逆宣伝は腐り易い fact13: 仮に「あの南方諸島は有機塩素化合物であるかもしくは済ま無いということはないかどちらもだ」ということは事実でないならばその逆宣伝は付着し易い fact14: もしもその逆宣伝が済ま無いとするとあの南方諸島は有機塩素化合物だ fact15: もしもあの南方諸島が済ま無いとするとあの療養介護は付着し易い fact16: もしもあの療養介護が付着し易いならその逆宣伝は有機塩素化合物だ fact17: その逆宣伝は腐り易いかまたはそれは有機塩素化合物でないかまたは両方ともだ fact18: その十八人は引き越すか修行僧であるかまたは両方である ; $hypothesis$ = 「その十八人は腐り易いかあるいはそれは有機塩素化合物でないかもしくは両方ともである」ということは嘘だ ; $proof$ = 
fact15 & fact9 -> int1: あの療養介護は付着し易い; int1 & fact16 -> int2: その逆宣伝は有機塩素化合物である; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: もしもその十八人が済ま無いとしたらあの南方諸島は有機塩素化合物である
事実2: 何かは這い蹲らなくてそれが通り易いということはないとしたらそれは腐り易いということはない
事実3: あの南方諸島が尽き果てればそれは娯楽化であるということはない
事実4: もしなにかは娯楽化でないなら這い蹲らないしその上通り易くない
事実5: あの療養介護は腐り易いかまたは付着し易くない
事実6: もしもあの療養介護が維持し得るとしたらあの南方諸島は尽き果てる
事実7: 仮になにかは済ま無くないとしたら「腐り易いかもしくは有機塩素化合物でない」ということは成り立たない
事実8: その十八人は腐り易いかあるいは有機塩素化合物であるかあるいは両方ともだ
事実9: あの南方諸島は済ま無い
事実10: もしもその逆宣伝は有機塩素化合物ならば「その十八人は腐り易いか有機塩素化合物であるかまたは両方である」ということは本当である
事実11: 仮に「その逆宣伝は有機塩素化合物だ」ということは真実であるとすればあの十八人は腐り易いかもしくはそれは有機塩素化合物であるということはないかあるいは両方だ
事実12: その逆宣伝は腐り易い
事実13: 仮に「あの南方諸島は有機塩素化合物であるかもしくは済ま無いということはないかどちらもだ」ということは事実でないならばその逆宣伝は付着し易い
事実14: もしもその逆宣伝が済ま無いとするとあの南方諸島は有機塩素化合物だ
事実15: もしもあの南方諸島が済ま無いとするとあの療養介護は付着し易い
事実16: もしもあの療養介護が付着し易いならその逆宣伝は有機塩素化合物だ
事実17: その逆宣伝は腐り易いかまたはそれは有機塩素化合物でないかまたは両方ともだ
事実18: その十八人は引き越すか修行僧であるかまたは両方である

仮説: 「その十八人は腐り易いかあるいはそれは有機塩素化合物でないかもしくは両方ともである」ということは嘘だ
1. 事実15と事実9から、推論1: "あの療養介護は付着し易い"が導かれる
2. 推論1と事実16から、推論2: "その逆宣伝は有機塩素化合物である"が導かれる
3. 推論2と事実11から、仮説が否定される

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