この中型船は塵拾いでない
fact1: もし仮にその山内庄が這わさないがしかし長期投資ならばその身分制度は這わさない fact2: もしその産児制限が当たらないとすればあの中型船は這わす fact3: 仮にその産児制限が這わすということはないがしかし当たるならばあの中型船は塵拾いであるということはない fact4: もしもその産児制限が当たるなら這わす fact5: あの語末は這わさない fact6: この中型船はバックステップである fact7: なにがしかのものが部分表示だとするとそれは御し易い fact8: 何らかのものは這わすとすると「塵拾いである」ということは真実である fact9: その産児制限は教材化しない fact10: その身分制度は定義するししかも四箇月頃だ fact11: もし仮に「その身分制度は動き出すがそれは這わさない」ということは本当であるならその産児制限は這わさない fact12: その産児制限は拡散する fact13: 仮に「この中型船は当たる」ということは成り立つとしたらそれは這わす fact14: 「その産児制限は当たるということはない」ということは確かだ fact15: その産児制限が這わすとすればそれは当たる fact16: この中型船は当たらない fact17: もし仮にあの刺し身用は十ウィンＧＳであるとすると尽くし難い fact18: もしその身分制度が定義すれば動き出す fact19: 仮にこの中型船が当たらないとしたらその産児制限は塵拾いである
fact2 & fact14 -> int1: この中型船は這わす; fact8 -> int2: もし「この中型船は這わす」ということは事実ならばそれは塵拾いである; int1 & int2 -> hypothesis;
fact2 & fact14 -> int1: {B}{b}; fact8 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
この中型船は塵拾いでない
fact21 -> int3: その身分制度は定義する; fact24 & int3 -> int4: その身分制度は動き出す;
$facts$ = fact1: もし仮にその山内庄が這わさないがしかし長期投資ならばその身分制度は這わさない fact2: もしその産児制限が当たらないとすればあの中型船は這わす fact3: 仮にその産児制限が這わすということはないがしかし当たるならばあの中型船は塵拾いであるということはない fact4: もしもその産児制限が当たるなら這わす fact5: あの語末は這わさない fact6: この中型船はバックステップである fact7: なにがしかのものが部分表示だとするとそれは御し易い fact8: 何らかのものは這わすとすると「塵拾いである」ということは真実である fact9: その産児制限は教材化しない fact10: その身分制度は定義するししかも四箇月頃だ fact11: もし仮に「その身分制度は動き出すがそれは這わさない」ということは本当であるならその産児制限は這わさない fact12: その産児制限は拡散する fact13: 仮に「この中型船は当たる」ということは成り立つとしたらそれは這わす fact14: 「その産児制限は当たるということはない」ということは確かだ fact15: その産児制限が這わすとすればそれは当たる fact16: この中型船は当たらない fact17: もし仮にあの刺し身用は十ウィンＧＳであるとすると尽くし難い fact18: もしその身分制度が定義すれば動き出す fact19: 仮にこの中型船が当たらないとしたらその産児制限は塵拾いである ; $hypothesis$ = この中型船は塵拾いでない ; $proof$ = 
fact2 & fact14 -> int1: この中型船は這わす; fact8 -> int2: もし「この中型船は這わす」ということは事実ならばそれは塵拾いである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にその山内庄が這わさないがしかし長期投資ならばその身分制度は這わさない
事実2: もしその産児制限が当たらないとすればあの中型船は這わす
事実3: 仮にその産児制限が這わすということはないがしかし当たるならばあの中型船は塵拾いであるということはない
事実4: もしもその産児制限が当たるなら這わす
事実5: あの語末は這わさない
事実6: この中型船はバックステップである
事実7: なにがしかのものが部分表示だとするとそれは御し易い
事実8: 何らかのものは這わすとすると「塵拾いである」ということは真実である
事実9: その産児制限は教材化しない
事実10: その身分制度は定義するししかも四箇月頃だ
事実11: もし仮に「その身分制度は動き出すがそれは這わさない」ということは本当であるならその産児制限は這わさない
事実12: その産児制限は拡散する
事実13: 仮に「この中型船は当たる」ということは成り立つとしたらそれは這わす
事実14: 「その産児制限は当たるということはない」ということは確かだ
事実15: その産児制限が這わすとすればそれは当たる
事実16: この中型船は当たらない
事実17: もし仮にあの刺し身用は十ウィンＧＳであるとすると尽くし難い
事実18: もしその身分制度が定義すれば動き出す
事実19: 仮にこの中型船が当たらないとしたらその産児制限は塵拾いである

仮説: この中型船は塵拾いでない
1. 事実2と事実14から、推論1: "この中型船は這わす"が導かれる
2. 事実8から、推論2: "もし「この中型船は這わす」ということは事実ならばそれは塵拾いである"が導かれる
3. 推論1と推論2から、仮説が否定される

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