あの太陽熱は肌寒い
fact1: あの太陽熱は落ち易いし更に起き易い fact2: もし仮にあの水平飛行が咬合するならそれは起き易い fact3: もし仮にあの太陽熱が肌寒いし落ち易いとすればその海老根エキスは咬合するということはない fact4: その海老根エキスは真っ黒くてそれに咬合する fact5: もしもあの水平飛行が起き易いならばそれは責め殺す
fact1 -> int1: あの太陽熱は落ち易い; void -> assump1: 以下のように仮定する。あの太陽熱は肌寒い; int1 & assump1 -> int2: あの太陽熱は肌寒いし落ち易い; int2 & fact3 -> int3: その海老根エキスは咬合しない; fact4 -> int4: その海老根エキスは咬合する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの水平飛行は責め殺すし冗談ぽい
$facts$ = fact1: あの太陽熱は落ち易いし更に起き易い fact2: もし仮にあの水平飛行が咬合するならそれは起き易い fact3: もし仮にあの太陽熱が肌寒いし落ち易いとすればその海老根エキスは咬合するということはない fact4: その海老根エキスは真っ黒くてそれに咬合する fact5: もしもあの水平飛行が起き易いならばそれは責め殺す ; $hypothesis$ = あの太陽熱は肌寒い ; $proof$ = 
fact1 -> int1: あの太陽熱は落ち易い; void -> assump1: 以下のように仮定する。あの太陽熱は肌寒い; int1 & assump1 -> int2: あの太陽熱は肌寒いし落ち易い; int2 & fact3 -> int3: その海老根エキスは咬合しない; fact4 -> int4: その海老根エキスは咬合する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: あの太陽熱は落ち易いし更に起き易い
事実2: もし仮にあの水平飛行が咬合するならそれは起き易い
事実3: もし仮にあの太陽熱が肌寒いし落ち易いとすればその海老根エキスは咬合するということはない
事実4: その海老根エキスは真っ黒くてそれに咬合する
事実5: もしもあの水平飛行が起き易いならばそれは責め殺す

仮説: あの太陽熱は肌寒い
1. 事実1から、推論1: "あの太陽熱は落ち易い"が導かれる
2. 仮定1: 以下のように仮定する。あの太陽熱は肌寒い
3. 推論1と仮定1から、推論2: "あの太陽熱は肌寒いし落ち易い"が導かれる
4. 推論2と事実3から、推論3: "その海老根エキスは咬合しない"が導かれる
5. 事実4から、推論4: "その海老根エキスは咬合する"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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