あの平和構築は第七項中市町村だ
fact1: もしもその外部者が読み込みだがしかし解約しないならばあの精算書は命拾いする fact2: もしこの弗素樹脂塗料が細型銅剣でないとしたらその外部者は読み込みでなくてそれは解約しない fact3: この弗素樹脂塗料は細型銅剣でない fact4: その外部者が細型銅剣だということはないしそれにそれが解約しないならあの精算書は命拾いする fact5: 仮にこの弗素樹脂塗料が解約しないとしたらあの経産牛頭数は解約するということはない fact6: 仮にあの精算書が命拾いするならあの平和構築は第七項中市町村でない fact7: もしもあるものが細型銅剣ならば第七項中市町村だ fact8: この弗素樹脂塗料は青臭くなくて加えて読み込みでない fact9: この楽隠居は命拾いする fact10: もしもその外部者が読み込みでないけれど解約するとしたらあの精算書は命拾いする fact11: もし仮にあの平和構築が命拾いするならそれは細型銅剣だ fact12: 「もし仮にその外部者が読み込みでないしそれが解約するということはないとしたらあの精算書は命拾いする」ということは間違いであるということはない fact13: 仮にとある物が命拾いするとするとそれは解約しないし細型銅剣でない
fact2 & fact3 -> int1: その外部者は読み込みでなくて加えて解約しない; int1 & fact12 -> int2: あの精算書は命拾いする; int2 & fact6 -> hypothesis;
fact2 & fact3 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact12 -> int2: {B}{c}; int2 & fact6 -> hypothesis;
あの経産牛頭数は解約しない
fact14 -> int3: この弗素樹脂塗料が命拾いするとするとそれは解約しないしさらに細型銅剣でない;
$facts$ = fact1: もしもその外部者が読み込みだがしかし解約しないならばあの精算書は命拾いする fact2: もしこの弗素樹脂塗料が細型銅剣でないとしたらその外部者は読み込みでなくてそれは解約しない fact3: この弗素樹脂塗料は細型銅剣でない fact4: その外部者が細型銅剣だということはないしそれにそれが解約しないならあの精算書は命拾いする fact5: 仮にこの弗素樹脂塗料が解約しないとしたらあの経産牛頭数は解約するということはない fact6: 仮にあの精算書が命拾いするならあの平和構築は第七項中市町村でない fact7: もしもあるものが細型銅剣ならば第七項中市町村だ fact8: この弗素樹脂塗料は青臭くなくて加えて読み込みでない fact9: この楽隠居は命拾いする fact10: もしもその外部者が読み込みでないけれど解約するとしたらあの精算書は命拾いする fact11: もし仮にあの平和構築が命拾いするならそれは細型銅剣だ fact12: 「もし仮にその外部者が読み込みでないしそれが解約するということはないとしたらあの精算書は命拾いする」ということは間違いであるということはない fact13: 仮にとある物が命拾いするとするとそれは解約しないし細型銅剣でない ; $hypothesis$ = あの平和構築は第七項中市町村だ ; $proof$ = 
fact2 & fact3 -> int1: その外部者は読み込みでなくて加えて解約しない; int1 & fact12 -> int2: あの精算書は命拾いする; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもその外部者が読み込みだがしかし解約しないならばあの精算書は命拾いする
事実2: もしこの弗素樹脂塗料が細型銅剣でないとしたらその外部者は読み込みでなくてそれは解約しない
事実3: この弗素樹脂塗料は細型銅剣でない
事実4: その外部者が細型銅剣だということはないしそれにそれが解約しないならあの精算書は命拾いする
事実5: 仮にこの弗素樹脂塗料が解約しないとしたらあの経産牛頭数は解約するということはない
事実6: 仮にあの精算書が命拾いするならあの平和構築は第七項中市町村でない
事実7: もしもあるものが細型銅剣ならば第七項中市町村だ
事実8: この弗素樹脂塗料は青臭くなくて加えて読み込みでない
事実9: この楽隠居は命拾いする
事実10: もしもその外部者が読み込みでないけれど解約するとしたらあの精算書は命拾いする
事実11: もし仮にあの平和構築が命拾いするならそれは細型銅剣だ
事実12: 「もし仮にその外部者が読み込みでないしそれが解約するということはないとしたらあの精算書は命拾いする」ということは間違いであるということはない
事実13: 仮にとある物が命拾いするとするとそれは解約しないし細型銅剣でない

仮説: あの平和構築は第七項中市町村だ
1. 事実2と事実3から、推論1: "その外部者は読み込みでなくて加えて解約しない"が導かれる
2. 推論1と事実12から、推論2: "あの精算書は命拾いする"が導かれる
3. 推論2と事実6から、仮説が否定される

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