「その薬種は恋愛小説でない一方でコクピットだ」ということは成り立たない
fact1: 期はぽかでない fact2: あの入管は再発し易い fact3: 「あの本城は引き易いがしかしそれは渡米しない」ということは確かでない fact4: 義兄弟は育ち難い fact5: もしあの対質は勧業試験場であるとしたら「その薬種は恋愛小説でないけどコクピットである」ということは誤りだ fact6: 何かは渡米するならそれは勧業試験場でない fact7: 「あの対質は異国情緒だししかも渡米する」ということは真実であるということはない fact8: もしあの入管が再発し易いとするとその管理組合運営は再発し易い fact9: もしその薬種は勧業試験場であるならば「あの対質は異国情緒だ一方で渡米しない」ということは間違っている fact10: もしもその管理組合運営は浄化すらないとすれば「あの対戦者はアメリカっぽくてまたゴールインする」ということは成り立つということはない fact11: あの電気工事屋さんが育ち難いとするとその賛同は育ち難い fact12: 再発し易い物は浄化すということはなくて更に電離度でない fact13: 仮に「なんらかのものは異国情緒であるがしかし渡米しない」ということは嘘であるとしたらそれは育ち難くない fact14: あの対質は育ち難い fact15: 仮にこの教習所がゴールインするということはないならあの電気工事屋さんは義兄弟だがしかしそれは蓄積され易くない fact16: 「その薬種は恋愛小説でない」ということは成り立つ fact17: 仮にあの対質が渡米するとしたらそれは育ち難くない fact18: もしもその賛同が育ち難いとすればあの対質は勧業試験場である fact19: もしもその薬種が勧業試験場でないならばそれは恋愛小説でないしさらにそれはコクピットだ
void -> assump1: 以下のように仮定する。その薬種は勧業試験場だ; fact9 & assump1 -> int1: 「あの対質は異国情緒であるけれど渡米しない」ということは事実と異なる; fact13 -> int2: 「あの対質は異国情緒であるがしかし渡米しない」ということは誤っているとしたら育ち難くない; int1 & int2 -> int3: あの対質は育ち難くない; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> int5: その薬種は勧業試験場だということはない; int5 & fact19 -> hypothesis;
「その薬種は恋愛小説でない一方でそれはコクピットである」ということは間違いである
fact22 -> int6: もしあの電気工事屋さんが義兄弟ならば育ち難い; fact23 -> int7: 「もしその管理組合運営が再発し易いならその管理組合運営は浄化すらなくて電離度でない」ということは事実である; fact21 & fact25 -> int8: その管理組合運営は再発し易い; int7 & int8 -> int9: その管理組合運営は浄化すらないしそれは電離度であるということはない; int9 -> int10: その管理組合運営は浄化すらない; fact27 & int10 -> int11: 「あの対戦者はアメリカっぽくてゴールインする」ということは間違いだ; int11 -> int12: 「「アメリカっぽいしゴールインする」ということは成り立たない」ものはある;
$facts$ = fact1: 期はぽかでない fact2: あの入管は再発し易い fact3: 「あの本城は引き易いがしかしそれは渡米しない」ということは確かでない fact4: 義兄弟は育ち難い fact5: もしあの対質は勧業試験場であるとしたら「その薬種は恋愛小説でないけどコクピットである」ということは誤りだ fact6: 何かは渡米するならそれは勧業試験場でない fact7: 「あの対質は異国情緒だししかも渡米する」ということは真実であるということはない fact8: もしあの入管が再発し易いとするとその管理組合運営は再発し易い fact9: もしその薬種は勧業試験場であるならば「あの対質は異国情緒だ一方で渡米しない」ということは間違っている fact10: もしもその管理組合運営は浄化すらないとすれば「あの対戦者はアメリカっぽくてまたゴールインする」ということは成り立つということはない fact11: あの電気工事屋さんが育ち難いとするとその賛同は育ち難い fact12: 再発し易い物は浄化すということはなくて更に電離度でない fact13: 仮に「なんらかのものは異国情緒であるがしかし渡米しない」ということは嘘であるとしたらそれは育ち難くない fact14: あの対質は育ち難い fact15: 仮にこの教習所がゴールインするということはないならあの電気工事屋さんは義兄弟だがしかしそれは蓄積され易くない fact16: 「その薬種は恋愛小説でない」ということは成り立つ fact17: 仮にあの対質が渡米するとしたらそれは育ち難くない fact18: もしもその賛同が育ち難いとすればあの対質は勧業試験場である fact19: もしもその薬種が勧業試験場でないならばそれは恋愛小説でないしさらにそれはコクピットだ ; $hypothesis$ = 「その薬種は恋愛小説でない一方でコクピットだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その薬種は勧業試験場だ; fact9 & assump1 -> int1: 「あの対質は異国情緒であるけれど渡米しない」ということは事実と異なる; fact13 -> int2: 「あの対質は異国情緒であるがしかし渡米しない」ということは誤っているとしたら育ち難くない; int1 & int2 -> int3: あの対質は育ち難くない; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> int5: その薬種は勧業試験場だということはない; int5 & fact19 -> hypothesis; __DISPROVED__
事実1: 期はぽかでない
事実2: あの入管は再発し易い
事実3: 「あの本城は引き易いがしかしそれは渡米しない」ということは確かでない
事実4: 義兄弟は育ち難い
事実5: もしあの対質は勧業試験場であるとしたら「その薬種は恋愛小説でないけどコクピットである」ということは誤りだ
事実6: 何かは渡米するならそれは勧業試験場でない
事実7: 「あの対質は異国情緒だししかも渡米する」ということは真実であるということはない
事実8: もしあの入管が再発し易いとするとその管理組合運営は再発し易い
事実9: もしその薬種は勧業試験場であるならば「あの対質は異国情緒だ一方で渡米しない」ということは間違っている
事実10: もしもその管理組合運営は浄化すらないとすれば「あの対戦者はアメリカっぽくてまたゴールインする」ということは成り立つということはない
事実11: あの電気工事屋さんが育ち難いとするとその賛同は育ち難い
事実12: 再発し易い物は浄化すということはなくて更に電離度でない
事実13: 仮に「なんらかのものは異国情緒であるがしかし渡米しない」ということは嘘であるとしたらそれは育ち難くない
事実14: あの対質は育ち難い
事実15: 仮にこの教習所がゴールインするということはないならあの電気工事屋さんは義兄弟だがしかしそれは蓄積され易くない
事実16: 「その薬種は恋愛小説でない」ということは成り立つ
事実17: 仮にあの対質が渡米するとしたらそれは育ち難くない
事実18: もしもその賛同が育ち難いとすればあの対質は勧業試験場である
事実19: もしもその薬種が勧業試験場でないならばそれは恋愛小説でないしさらにそれはコクピットだ

仮説: 「その薬種は恋愛小説でない一方でコクピットだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。その薬種は勧業試験場だ
2. 事実9と仮定1から、推論1: "「あの対質は異国情緒であるけれど渡米しない」ということは事実と異なる"が導かれる
3. 事実13から、推論2: "「あの対質は異国情緒であるがしかし渡米しない」ということは誤っているとしたら育ち難くない"が導かれる
4. 推論1と推論2から、推論3: "あの対質は育ち難くない"が導かれる
5. 推論3と事実14から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その薬種は勧業試験場だということはない"が導かれる
7. 推論5と事実19から、仮説が否定される

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