「あの歯冠修復は進み易いし更にそれは少ない」ということは成り立たない
fact1: このクランベリーゼリーは許し難し fact2: もし仮に「その軍事革命は相談すらない」ということは成り立つならばあの人気別は啜り上げるしそれにそれは見辛い fact3: 仮にあの歯冠修復が訴うならそれは腑甲斐無い fact4: この一型サイトカインレセプターがダイアであるとしたらその病性は繁盛しない fact5: もしあの歯冠修復が外部プログラムだとすれば心理学化する fact6: もし仮にとあるものが柔らかいとするとそれはまびく fact7: もし「許し難し」物はあるとしたら「その軍事革命は許し難くないけど動物行動学である」ということは成り立たない fact8: もし「とあるものは許し難くないがしかし動物行動学だ」ということは事実と異なるとしたらそれは相談すらない fact9: 仮にあるものが先制しないとしたら進み易くないしおまけに腑甲斐無い fact10: もしこの一型サイトカインレセプターが見難くないとしたらその病性は繁盛するということはない fact11: 腑甲斐無いものは進み易い fact12: もしもその病性が繁盛しないとするとその悲歌は実感出来るかもしくはそれは訴う fact13: あの歯冠修復は先制する fact14: あの歯冠修復は訴う fact15: もしも「この人気別は見辛い」ということは本当だとすればこの一型サイトカインレセプターはダイアであるかあるいは見難くないかまたはどちらもだ fact16: もし「その定訳は古めかしい」ということは事実ならば「先制する」ということは真実である fact17: あの歯冠修復は疲れ難いなら「少ない」ということは真実である fact18: あらゆる物は先制する fact19: あらゆる物は先制するしまた少ない fact20: その悲歌が実感出来るとすればこのパトロール隊員は先制しない
fact11 -> int1: もし仮にあの歯冠修復が腑甲斐無いとすると進み易い; fact3 & fact14 -> int2: あの歯冠修復は腑甲斐無い; int1 & int2 -> int3: あの歯冠修復は進み易い; fact19 -> int4: あの歯冠修復が先制するしその上それは少ない; int4 -> int5: あの歯冠修復は少ない; int3 & int5 -> hypothesis;
「仮にあの歯冠修復が柔らかいとすればあの歯冠修復はまびく」ということは成り立つ
fact21 -> hypothesis;
$facts$ = fact1: このクランベリーゼリーは許し難し fact2: もし仮に「その軍事革命は相談すらない」ということは成り立つならばあの人気別は啜り上げるしそれにそれは見辛い fact3: 仮にあの歯冠修復が訴うならそれは腑甲斐無い fact4: この一型サイトカインレセプターがダイアであるとしたらその病性は繁盛しない fact5: もしあの歯冠修復が外部プログラムだとすれば心理学化する fact6: もし仮にとあるものが柔らかいとするとそれはまびく fact7: もし「許し難し」物はあるとしたら「その軍事革命は許し難くないけど動物行動学である」ということは成り立たない fact8: もし「とあるものは許し難くないがしかし動物行動学だ」ということは事実と異なるとしたらそれは相談すらない fact9: 仮にあるものが先制しないとしたら進み易くないしおまけに腑甲斐無い fact10: もしこの一型サイトカインレセプターが見難くないとしたらその病性は繁盛するということはない fact11: 腑甲斐無いものは進み易い fact12: もしもその病性が繁盛しないとするとその悲歌は実感出来るかもしくはそれは訴う fact13: あの歯冠修復は先制する fact14: あの歯冠修復は訴う fact15: もしも「この人気別は見辛い」ということは本当だとすればこの一型サイトカインレセプターはダイアであるかあるいは見難くないかまたはどちらもだ fact16: もし「その定訳は古めかしい」ということは事実ならば「先制する」ということは真実である fact17: あの歯冠修復は疲れ難いなら「少ない」ということは真実である fact18: あらゆる物は先制する fact19: あらゆる物は先制するしまた少ない fact20: その悲歌が実感出来るとすればこのパトロール隊員は先制しない ; $hypothesis$ = 「あの歯冠修復は進み易いし更にそれは少ない」ということは成り立たない ; $proof$ = 
fact11 -> int1: もし仮にあの歯冠修復が腑甲斐無いとすると進み易い; fact3 & fact14 -> int2: あの歯冠修復は腑甲斐無い; int1 & int2 -> int3: あの歯冠修復は進み易い; fact19 -> int4: あの歯冠修復が先制するしその上それは少ない; int4 -> int5: あの歯冠修復は少ない; int3 & int5 -> hypothesis; __DISPROVED__
事実1: このクランベリーゼリーは許し難し
事実2: もし仮に「その軍事革命は相談すらない」ということは成り立つならばあの人気別は啜り上げるしそれにそれは見辛い
事実3: 仮にあの歯冠修復が訴うならそれは腑甲斐無い
事実4: この一型サイトカインレセプターがダイアであるとしたらその病性は繁盛しない
事実5: もしあの歯冠修復が外部プログラムだとすれば心理学化する
事実6: もし仮にとあるものが柔らかいとするとそれはまびく
事実7: もし「許し難し」物はあるとしたら「その軍事革命は許し難くないけど動物行動学である」ということは成り立たない
事実8: もし「とあるものは許し難くないがしかし動物行動学だ」ということは事実と異なるとしたらそれは相談すらない
事実9: 仮にあるものが先制しないとしたら進み易くないしおまけに腑甲斐無い
事実10: もしこの一型サイトカインレセプターが見難くないとしたらその病性は繁盛するということはない
事実11: 腑甲斐無いものは進み易い
事実12: もしもその病性が繁盛しないとするとその悲歌は実感出来るかもしくはそれは訴う
事実13: あの歯冠修復は先制する
事実14: あの歯冠修復は訴う
事実15: もしも「この人気別は見辛い」ということは本当だとすればこの一型サイトカインレセプターはダイアであるかあるいは見難くないかまたはどちらもだ
事実16: もし「その定訳は古めかしい」ということは事実ならば「先制する」ということは真実である
事実17: あの歯冠修復は疲れ難いなら「少ない」ということは真実である
事実18: あらゆる物は先制する
事実19: あらゆる物は先制するしまた少ない
事実20: その悲歌が実感出来るとすればこのパトロール隊員は先制しない

仮説: 「あの歯冠修復は進み易いし更にそれは少ない」ということは成り立たない
1. 事実11から、推論1: "もし仮にあの歯冠修復が腑甲斐無いとすると進み易い"が導かれる
2. 事実3と事実14から、推論2: "あの歯冠修復は腑甲斐無い"が導かれる
3. 推論1と推論2から、推論3: "あの歯冠修復は進み易い"が導かれる
4. 事実19から、推論4: "あの歯冠修復が先制するしその上それは少ない"が導かれる
5. 推論4から、推論5: "あの歯冠修復は少ない"が導かれる
6. 推論3と推論5から、仮説が否定される

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