あの竜の落とし子は煮立つかもしくは照らせないかまたは両方ともだ
fact1: もしも「あの水稲農林はライスカレーでない」ということは成り立つなら「あの竜の落とし子は煮立つかまたはそれは照らせない」ということは間違っている fact2: もし仮に何らかの物が共存出来る一方で真っ白くないとしたらちぎれ易くない fact3: 対応し易い物は返答する fact4: もしあの水稲農林がライスカレーであるならばあの竜の落とし子は煮立つか照らせるということはない fact5: あの水稲農林はライスカレーでない fact6: もし仮に何らかの物が返答するとすればそれはライスカレーだ fact7: もしあの水稲農林がライスカレーだということはないとしたらあの竜の落とし子は煮立たない fact8: 仮にあの流線形がちぎれ易くないとすればこの起立は対応し易くないかもしくはそれは荷物検査でない fact9: もし仮にあの水稲農林が照らせないとするとあの竜の落とし子は煮立たない fact10: 「仮にあの水稲農林は照らせないとしたら「あの竜の落とし子は煮立つかあるいはそれはライスカレーでない」ということは成り立つということはない」ということは成り立つ fact11: もしあの水稲農林が照らせないならあの竜の落とし子はライスカレーであるということはない
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
あの竜の落とし子は煮立つかまたはそれは照らせないか両方だ
fact15 -> int1: もし仮にあの水稲農林が返答するとするとライスカレーだ; fact12 -> int2: 仮にあの水稲農林が対応し易いならそれは返答する; fact14 -> int3: 仮にあの流線形は共存出来るけど真っ白くないとすれば「ちぎれ易いということはない」ということは誤っていない;
$facts$ = fact1: もしも「あの水稲農林はライスカレーでない」ということは成り立つなら「あの竜の落とし子は煮立つかまたはそれは照らせない」ということは間違っている fact2: もし仮に何らかの物が共存出来る一方で真っ白くないとしたらちぎれ易くない fact3: 対応し易い物は返答する fact4: もしあの水稲農林がライスカレーであるならばあの竜の落とし子は煮立つか照らせるということはない fact5: あの水稲農林はライスカレーでない fact6: もし仮に何らかの物が返答するとすればそれはライスカレーだ fact7: もしあの水稲農林がライスカレーだということはないとしたらあの竜の落とし子は煮立たない fact8: 仮にあの流線形がちぎれ易くないとすればこの起立は対応し易くないかもしくはそれは荷物検査でない fact9: もし仮にあの水稲農林が照らせないとするとあの竜の落とし子は煮立たない fact10: 「仮にあの水稲農林は照らせないとしたら「あの竜の落とし子は煮立つかあるいはそれはライスカレーでない」ということは成り立つということはない」ということは成り立つ fact11: もしあの水稲農林が照らせないならあの竜の落とし子はライスカレーであるということはない ; $hypothesis$ = あの竜の落とし子は煮立つかもしくは照らせないかまたは両方ともだ ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも「あの水稲農林はライスカレーでない」ということは成り立つなら「あの竜の落とし子は煮立つかまたはそれは照らせない」ということは間違っている
事実2: もし仮に何らかの物が共存出来る一方で真っ白くないとしたらちぎれ易くない
事実3: 対応し易い物は返答する
事実4: もしあの水稲農林がライスカレーであるならばあの竜の落とし子は煮立つか照らせるということはない
事実5: あの水稲農林はライスカレーでない
事実6: もし仮に何らかの物が返答するとすればそれはライスカレーだ
事実7: もしあの水稲農林がライスカレーだということはないとしたらあの竜の落とし子は煮立たない
事実8: 仮にあの流線形がちぎれ易くないとすればこの起立は対応し易くないかもしくはそれは荷物検査でない
事実9: もし仮にあの水稲農林が照らせないとするとあの竜の落とし子は煮立たない
事実10: 「仮にあの水稲農林は照らせないとしたら「あの竜の落とし子は煮立つかあるいはそれはライスカレーでない」ということは成り立つということはない」ということは成り立つ
事実11: もしあの水稲農林が照らせないならあの竜の落とし子はライスカレーであるということはない

仮説: あの竜の落とし子は煮立つかもしくは照らせないかまたは両方ともだ
1. 事実1と事実5から、仮説が否定される

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