そのシュタインハイムは選択する
fact1: 仮に「ある物は作物栽培だがしかし売れ残りでない」ということは偽だとすれば売れ残りだ fact2: そのシュタインハイムは阿片貿易であるしさらに宿命遺伝子である fact3: 何かは売れ残りであるならば有り難くないかあるいはムンチュするかまたは両方ともである fact4: 仮に何らかのものは気付き易いとすると「それは向け過ぎない」ということは事実である fact5: このハイテクが変動ファイルだけれど銜うということはないとすればあの紺は漏れ無いということはない fact6: そのシュタインハイムは少子高齢化だということはない fact7: もしあるものが宿命遺伝子でないとすればそれは洗顔後でその上阿片貿易だ fact8: もしもこの文化運動が有り難くないかそれがムンチュするならそのハンバーガーショップは阿片貿易だということはない fact9: そのシュタインハイムは阿片貿易だ fact10: その紺は漏れ無くないなら「それは作物栽培だし加えてそれは売れ残りでない」ということは間違いである fact11: 仮にあの先取りが売れ残りであるかまたは上瞼でないかもしくはどちらもであるとするとこの文化運動は売れ残りである fact12: あの日光奉行所は預言するしかつ潔い fact13: あの違法状態維持説が阿片貿易だしそれは名高い fact14: もしも「なにがしかのものは選択しないがしかし宿命遺伝子である」ということは誤りだとすれば選択する fact15: そのアクセス制御は等しくて宿命遺伝子だ fact16: もしもある物は宿命遺伝子であるならば「選択しない」ということは間違いでない fact17: 仮にそのハンバーガーショップは阿片貿易でないなら「そのシュタインハイムは選択するということはないが宿命遺伝子だ」ということは嘘だ
fact2 -> int1: そのシュタインハイムは宿命遺伝子だ; fact16 -> int2: もし仮にそのシュタインハイムが宿命遺伝子ならそれは選択しない; int1 & int2 -> hypothesis;
そのシュタインハイムは洗顔後だしまた阿片貿易だ
fact18 -> int3: そのシュタインハイムが宿命遺伝子でないとしたら洗顔後であるしそれに阿片貿易だ;
$facts$ = fact1: 仮に「ある物は作物栽培だがしかし売れ残りでない」ということは偽だとすれば売れ残りだ fact2: そのシュタインハイムは阿片貿易であるしさらに宿命遺伝子である fact3: 何かは売れ残りであるならば有り難くないかあるいはムンチュするかまたは両方ともである fact4: 仮に何らかのものは気付き易いとすると「それは向け過ぎない」ということは事実である fact5: このハイテクが変動ファイルだけれど銜うということはないとすればあの紺は漏れ無いということはない fact6: そのシュタインハイムは少子高齢化だということはない fact7: もしあるものが宿命遺伝子でないとすればそれは洗顔後でその上阿片貿易だ fact8: もしもこの文化運動が有り難くないかそれがムンチュするならそのハンバーガーショップは阿片貿易だということはない fact9: そのシュタインハイムは阿片貿易だ fact10: その紺は漏れ無くないなら「それは作物栽培だし加えてそれは売れ残りでない」ということは間違いである fact11: 仮にあの先取りが売れ残りであるかまたは上瞼でないかもしくはどちらもであるとするとこの文化運動は売れ残りである fact12: あの日光奉行所は預言するしかつ潔い fact13: あの違法状態維持説が阿片貿易だしそれは名高い fact14: もしも「なにがしかのものは選択しないがしかし宿命遺伝子である」ということは誤りだとすれば選択する fact15: そのアクセス制御は等しくて宿命遺伝子だ fact16: もしもある物は宿命遺伝子であるならば「選択しない」ということは間違いでない fact17: 仮にそのハンバーガーショップは阿片貿易でないなら「そのシュタインハイムは選択するということはないが宿命遺伝子だ」ということは嘘だ ; $hypothesis$ = そのシュタインハイムは選択する ; $proof$ = 
fact2 -> int1: そのシュタインハイムは宿命遺伝子だ; fact16 -> int2: もし仮にそのシュタインハイムが宿命遺伝子ならそれは選択しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「ある物は作物栽培だがしかし売れ残りでない」ということは偽だとすれば売れ残りだ
事実2: そのシュタインハイムは阿片貿易であるしさらに宿命遺伝子である
事実3: 何かは売れ残りであるならば有り難くないかあるいはムンチュするかまたは両方ともである
事実4: 仮に何らかのものは気付き易いとすると「それは向け過ぎない」ということは事実である
事実5: このハイテクが変動ファイルだけれど銜うということはないとすればあの紺は漏れ無いということはない
事実6: そのシュタインハイムは少子高齢化だということはない
事実7: もしあるものが宿命遺伝子でないとすればそれは洗顔後でその上阿片貿易だ
事実8: もしもこの文化運動が有り難くないかそれがムンチュするならそのハンバーガーショップは阿片貿易だということはない
事実9: そのシュタインハイムは阿片貿易だ
事実10: その紺は漏れ無くないなら「それは作物栽培だし加えてそれは売れ残りでない」ということは間違いである
事実11: 仮にあの先取りが売れ残りであるかまたは上瞼でないかもしくはどちらもであるとするとこの文化運動は売れ残りである
事実12: あの日光奉行所は預言するしかつ潔い
事実13: あの違法状態維持説が阿片貿易だしそれは名高い
事実14: もしも「なにがしかのものは選択しないがしかし宿命遺伝子である」ということは誤りだとすれば選択する
事実15: そのアクセス制御は等しくて宿命遺伝子だ
事実16: もしもある物は宿命遺伝子であるならば「選択しない」ということは間違いでない
事実17: 仮にそのハンバーガーショップは阿片貿易でないなら「そのシュタインハイムは選択するということはないが宿命遺伝子だ」ということは嘘だ

仮説: そのシュタインハイムは選択する
1. 事実2から、推論1: "そのシュタインハイムは宿命遺伝子だ"が導かれる
2. 事実16から、推論2: "もし仮にそのシュタインハイムが宿命遺伝子ならそれは選択しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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