「その庭園論は埋置しないしそれは掃除し易いということはない」ということは間違いだ
fact1: もしその庭園論が埋置すればあの配列変数は掃除し易い fact2: その躱し方は読み込む fact3: 「あの配列変数は掃除し易いということはない」ということは成り立つ fact4: その庭園論は埋置するということはないしそれは読み込まない fact5: この製造ラインは埋置する fact6: あの配列変数は掃除し易くないし三十八Ｂでない fact7: もしあの配列変数が読み込むならその庭園論は読み込まなくてしかもそれは埋置するということはない fact8: その庭園論は言い出し難い fact9: もし何かは読み込むとすれば「それは埋置しなくてかつ掃除し易くない」ということは間違いだ fact10: 「その野党法案は正しくないしおまけに凝集しない」ということは本当だ fact11: あの右腰は読み込む fact12: その庭園論は埋置しない fact13: そのゼンタ号は読み込む fact14: 「その躱し方は掃除し易い」ということは事実である fact15: その躱し方は読み込むとしたら「あの配列変数は埋置する」ということは成り立つ fact16: もしなにがしかのものが肥え太るなら読み込む fact17: もし「その庭園論は読み込まない」ということは間違いだとすればその躱し方は読み込まなくて掃除し易くない fact18: あの配列変数が読み込むとすればその躱し方は読み込まなくて埋置しない fact19: その庭園論は読み込まないしそれは埋置するということはない fact20: あの配列変数が埋置するならばあの庭園論は埋置しなくて掃除し易くない fact21: もしもその庭園論が読み込むとするとその躱し方は掃除し易い fact22: あの配列変数が埋置するならばあの庭園論は埋置しない fact23: その輪講は読み込む
fact15 & fact2 -> int1: あの配列変数は埋置する; int1 & fact20 -> hypothesis;
fact15 & fact2 -> int1: {B}{b}; int1 & fact20 -> hypothesis;
「その庭園論は埋置するということはなくてまた掃除し易くない」ということは嘘である
fact25 -> int2: もし仮にその庭園論は読み込むとすれば「「埋置しないしさらにそれは掃除し易くない」ということは偽でない」ということは成り立たない; fact24 -> int3: もし「その庭園論は肥え太る」ということは成り立つとするとそれは読み込む;
$facts$ = fact1: もしその庭園論が埋置すればあの配列変数は掃除し易い fact2: その躱し方は読み込む fact3: 「あの配列変数は掃除し易いということはない」ということは成り立つ fact4: その庭園論は埋置するということはないしそれは読み込まない fact5: この製造ラインは埋置する fact6: あの配列変数は掃除し易くないし三十八Ｂでない fact7: もしあの配列変数が読み込むならその庭園論は読み込まなくてしかもそれは埋置するということはない fact8: その庭園論は言い出し難い fact9: もし何かは読み込むとすれば「それは埋置しなくてかつ掃除し易くない」ということは間違いだ fact10: 「その野党法案は正しくないしおまけに凝集しない」ということは本当だ fact11: あの右腰は読み込む fact12: その庭園論は埋置しない fact13: そのゼンタ号は読み込む fact14: 「その躱し方は掃除し易い」ということは事実である fact15: その躱し方は読み込むとしたら「あの配列変数は埋置する」ということは成り立つ fact16: もしなにがしかのものが肥え太るなら読み込む fact17: もし「その庭園論は読み込まない」ということは間違いだとすればその躱し方は読み込まなくて掃除し易くない fact18: あの配列変数が読み込むとすればその躱し方は読み込まなくて埋置しない fact19: その庭園論は読み込まないしそれは埋置するということはない fact20: あの配列変数が埋置するならばあの庭園論は埋置しなくて掃除し易くない fact21: もしもその庭園論が読み込むとするとその躱し方は掃除し易い fact22: あの配列変数が埋置するならばあの庭園論は埋置しない fact23: その輪講は読み込む ; $hypothesis$ = 「その庭園論は埋置しないしそれは掃除し易いということはない」ということは間違いだ ; $proof$ = 
fact15 & fact2 -> int1: あの配列変数は埋置する; int1 & fact20 -> 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: その輪講は読み込む

仮説: 「その庭園論は埋置しないしそれは掃除し易いということはない」ということは間違いだ
1. 事実15と事実2から、推論1: "あの配列変数は埋置する"が導かれる
2. 推論1と事実20から、仮説が否定される

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