あのサマータンは包み込めない
fact1: 仮にあの陸上兵力は比較し難くないとすると培養液管理である fact2: もし仮にその自動車出張が混まないならあのサマータンは包み込めない一方で引き受けである fact3: 仮にあの法人化率が巡航するということはないとするとその自動車出張は混まないがそれは遺伝子座である fact4: もしもあるものが愛しくないとするとそれは巡航しない fact5: 仮にその自動車出張が混まないがしかしそれが遺伝子座であるならあのサマータンは混まない fact6: あのサマータンは比較し難い fact7: もしあのサマータンが混まないならこの納帳は包み込めるしまたそれは引き受けである fact8: もしもとあるものが到来するとしたらそれは愛しくない fact9: あのサマータンは引き受けでない fact10: もし仮に「ある物は遺伝子座でないし巡航しない」ということは正しいならそれは混まない fact11: あのサマータンが引き受けでないなら比較し難いし包み込める
fact11 & fact9 -> int1: あのサマータンは比較し難いしさらに包み込める; int1 -> hypothesis;
fact11 & fact9 -> int1: ({AA}{a} & {AB}{a}); int1 -> hypothesis;
この納帳は包み込める
fact15 -> int2: あの法人化率が愛しくないとすれば巡航しない; fact16 -> int3: もしあの法人化率が到来するとすれば愛しくない;
$facts$ = fact1: 仮にあの陸上兵力は比較し難くないとすると培養液管理である fact2: もし仮にその自動車出張が混まないならあのサマータンは包み込めない一方で引き受けである fact3: 仮にあの法人化率が巡航するということはないとするとその自動車出張は混まないがそれは遺伝子座である fact4: もしもあるものが愛しくないとするとそれは巡航しない fact5: 仮にその自動車出張が混まないがしかしそれが遺伝子座であるならあのサマータンは混まない fact6: あのサマータンは比較し難い fact7: もしあのサマータンが混まないならこの納帳は包み込めるしまたそれは引き受けである fact8: もしもとあるものが到来するとしたらそれは愛しくない fact9: あのサマータンは引き受けでない fact10: もし仮に「ある物は遺伝子座でないし巡航しない」ということは正しいならそれは混まない fact11: あのサマータンが引き受けでないなら比較し難いし包み込める ; $hypothesis$ = あのサマータンは包み込めない ; $proof$ = 
fact11 & fact9 -> int1: あのサマータンは比較し難いしさらに包み込める; int1 -> hypothesis; __DISPROVED__
事実1: 仮にあの陸上兵力は比較し難くないとすると培養液管理である
事実2: もし仮にその自動車出張が混まないならあのサマータンは包み込めない一方で引き受けである
事実3: 仮にあの法人化率が巡航するということはないとするとその自動車出張は混まないがそれは遺伝子座である
事実4: もしもあるものが愛しくないとするとそれは巡航しない
事実5: 仮にその自動車出張が混まないがしかしそれが遺伝子座であるならあのサマータンは混まない
事実6: あのサマータンは比較し難い
事実7: もしあのサマータンが混まないならこの納帳は包み込めるしまたそれは引き受けである
事実8: もしもとあるものが到来するとしたらそれは愛しくない
事実9: あのサマータンは引き受けでない
事実10: もし仮に「ある物は遺伝子座でないし巡航しない」ということは正しいならそれは混まない
事実11: あのサマータンが引き受けでないなら比較し難いし包み込める

仮説: あのサマータンは包み込めない
1. 事実11と事実9から、推論1: "あのサマータンは比較し難いしさらに包み込める"が導かれる
2. 推論1から、仮説が否定される

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