「あのポンプ‐漏れモデルは免田事件だし更に取り易い」ということは間違いだ
fact1: あるものはルビーレーザーでないならばコヒーラであるかもしくは中型車でないかまたは両方だ fact2: もしもあるものは旨くないとすれば「それは免田事件で更にそれは取り易い」ということは成り立たない fact3: 「あのポンプ‐漏れモデルは免田事件だ」ということは真実である fact4: 「あのポンプ‐漏れモデルは取り易い」ということは本当だ fact5: この運動中は叱れる fact6: もし仮にある物が叱れるとすればそれは其れっぽい一方でルビーレーザーでない
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
「あのポンプ‐漏れモデルは免田事件であるしその上取り易い」ということは間違っている
fact8 -> int1: 「もしもあのポンプ‐漏れモデルは旨くないならば「あのポンプ‐漏れモデルが免田事件だしさらに取り易い」ということは偽である」ということは事実である; fact9 -> int2: もしこの運動中がルビーレーザーでないとしたらそれはコヒーラであるかまたはそれは中型車でないかもしくは両方ともである; fact10 -> int3: 「仮にこの運動中が叱れるならこの運動中は其れっぽいがしかしルビーレーザーでない」ということは確かである; int3 & fact7 -> int4: この運動中は其れっぽいけれどルビーレーザーでない; int4 -> int5: 「この運動中はルビーレーザーでない」ということは成り立つ; int2 & int5 -> int6: この運動中はコヒーラであるかあるいはそれは中型車だということはないか両方ともだ; int6 -> int7: なにがしかの物はコヒーラであるかまたは中型車でない;
$facts$ = fact1: あるものはルビーレーザーでないならばコヒーラであるかもしくは中型車でないかまたは両方だ fact2: もしもあるものは旨くないとすれば「それは免田事件で更にそれは取り易い」ということは成り立たない fact3: 「あのポンプ‐漏れモデルは免田事件だ」ということは真実である fact4: 「あのポンプ‐漏れモデルは取り易い」ということは本当だ fact5: この運動中は叱れる fact6: もし仮にある物が叱れるとすればそれは其れっぽい一方でルビーレーザーでない ; $hypothesis$ = 「あのポンプ‐漏れモデルは免田事件だし更に取り易い」ということは間違いだ ; $proof$ = 
fact3 & fact4 -> hypothesis; __DISPROVED__
事実1: あるものはルビーレーザーでないならばコヒーラであるかもしくは中型車でないかまたは両方だ
事実2: もしもあるものは旨くないとすれば「それは免田事件で更にそれは取り易い」ということは成り立たない
事実3: 「あのポンプ‐漏れモデルは免田事件だ」ということは真実である
事実4: 「あのポンプ‐漏れモデルは取り易い」ということは本当だ
事実5: この運動中は叱れる
事実6: もし仮にある物が叱れるとすればそれは其れっぽい一方でルビーレーザーでない

仮説: 「あのポンプ‐漏れモデルは免田事件だし更に取り易い」ということは間違いだ
1. 事実3と事実4から、仮説が否定される

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