あの政治亡命者が興味深くないしさらにそれは築き難くない
fact1: その移相変化は築き難くない fact2: あの政治亡命者は取りしない fact3: 無くないものは興味深くないし築き難くない fact4: もしあの政治亡命者が無いということはないなら興味深くない fact5: 仮にあの政治亡命者が下肥でないならばそれは移相変化でなくてその上それは崩壊し始めない fact6: 「あの政治亡命者は苔むすけれど受け答えない」ということは誤っていれば「苔むす」ということは成り立たない fact7: 「あの政治亡命者は無いけれど苔むさない」ということは誤りだ fact8: 仮に「この微量成分は苔むすけど押さえ難くない」ということは成り立たないならこの集団検診は無い fact9: 「無くない物は興味深くない」ということは誤っていない fact10: 「あの介護家族は興味深いけれど浸透しない」ということは間違いである fact11: 仮に「あの政治亡命者は公許するけどそれは無くない」ということは間違っているとすれば公許しない fact12: もし仮に「あの政治亡命者は無いがそれは苔むさない」ということは本当でないならそれは無くない fact13: 無くないものは興味深くなくて更に苔むさない fact14: この小鉤は苔むさない fact15: もし仮にあるものは玉カットでないならば敵中深くないしその上男運でない fact16: あの政治亡命者は興味深くない fact17: この湾岸は無いということはない fact18: もし仮に「あの政治亡命者は築き難いけれどそれは控訴出来ない」ということは本当でないとしたら築き難くない fact19: 仮にあの政治亡命者が働き過ぎるということはないとしたら苔むすということはないし更にそれは拭き込むということはない
fact3 -> int1: 「あの政治亡命者は無いということはない」ということは正しいとすればそれは興味深くないしそれは築き難くない; fact7 & fact12 -> int2: あの政治亡命者は無いということはない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact7 & fact12 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「あの政治亡命者は興味深くないしその上築き難くない」ということは間違っている
$facts$ = fact1: その移相変化は築き難くない fact2: あの政治亡命者は取りしない fact3: 無くないものは興味深くないし築き難くない fact4: もしあの政治亡命者が無いということはないなら興味深くない fact5: 仮にあの政治亡命者が下肥でないならばそれは移相変化でなくてその上それは崩壊し始めない fact6: 「あの政治亡命者は苔むすけれど受け答えない」ということは誤っていれば「苔むす」ということは成り立たない fact7: 「あの政治亡命者は無いけれど苔むさない」ということは誤りだ fact8: 仮に「この微量成分は苔むすけど押さえ難くない」ということは成り立たないならこの集団検診は無い fact9: 「無くない物は興味深くない」ということは誤っていない fact10: 「あの介護家族は興味深いけれど浸透しない」ということは間違いである fact11: 仮に「あの政治亡命者は公許するけどそれは無くない」ということは間違っているとすれば公許しない fact12: もし仮に「あの政治亡命者は無いがそれは苔むさない」ということは本当でないならそれは無くない fact13: 無くないものは興味深くなくて更に苔むさない fact14: この小鉤は苔むさない fact15: もし仮にあるものは玉カットでないならば敵中深くないしその上男運でない fact16: あの政治亡命者は興味深くない fact17: この湾岸は無いということはない fact18: もし仮に「あの政治亡命者は築き難いけれどそれは控訴出来ない」ということは本当でないとしたら築き難くない fact19: 仮にあの政治亡命者が働き過ぎるということはないとしたら苔むすということはないし更にそれは拭き込むということはない ; $hypothesis$ = あの政治亡命者が興味深くないしさらにそれは築き難くない ; $proof$ = 
fact3 -> int1: 「あの政治亡命者は無いということはない」ということは正しいとすればそれは興味深くないしそれは築き難くない; fact7 & fact12 -> int2: あの政治亡命者は無いということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: その移相変化は築き難くない
事実2: あの政治亡命者は取りしない
事実3: 無くないものは興味深くないし築き難くない
事実4: もしあの政治亡命者が無いということはないなら興味深くない
事実5: 仮にあの政治亡命者が下肥でないならばそれは移相変化でなくてその上それは崩壊し始めない
事実6: 「あの政治亡命者は苔むすけれど受け答えない」ということは誤っていれば「苔むす」ということは成り立たない
事実7: 「あの政治亡命者は無いけれど苔むさない」ということは誤りだ
事実8: 仮に「この微量成分は苔むすけど押さえ難くない」ということは成り立たないならこの集団検診は無い
事実9: 「無くない物は興味深くない」ということは誤っていない
事実10: 「あの介護家族は興味深いけれど浸透しない」ということは間違いである
事実11: 仮に「あの政治亡命者は公許するけどそれは無くない」ということは間違っているとすれば公許しない
事実12: もし仮に「あの政治亡命者は無いがそれは苔むさない」ということは本当でないならそれは無くない
事実13: 無くないものは興味深くなくて更に苔むさない
事実14: この小鉤は苔むさない
事実15: もし仮にあるものは玉カットでないならば敵中深くないしその上男運でない
事実16: あの政治亡命者は興味深くない
事実17: この湾岸は無いということはない
事実18: もし仮に「あの政治亡命者は築き難いけれどそれは控訴出来ない」ということは本当でないとしたら築き難くない
事実19: 仮にあの政治亡命者が働き過ぎるということはないとしたら苔むすということはないし更にそれは拭き込むということはない

仮説: あの政治亡命者が興味深くないしさらにそれは築き難くない
1. 事実3から、推論1: "「あの政治亡命者は無いということはない」ということは正しいとすればそれは興味深くないしそれは築き難くない"が導かれる
2. 事実7と事実12から、推論2: "あの政治亡命者は無いということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。