その艦船は熱苦しい
fact1: もし「ある物は溜め込み易くないし加えてそれは傍受しない」ということは成り立たないならそれは糊付けしない fact2: 沖縄県内は開かさない fact3: その艦船は飲み終えないとすれば「溜め込み易くないし傍受しない」ということは成り立たない fact4: その珍客は飲み終えるということはない fact5: もし仮にあの婆は熱苦しいとしたら「その艦船は熱苦しい」ということは本当だ fact6: もし仮にあるものが糊付けしないとしたらそれは熱苦しくない fact7: 仮にその艦船は手堅くないとすると「それは熱苦しくないし把握し辛くない」ということは嘘だ fact8: 「なんらかの物は糊付けするということはないしそれは飲み終えない」ということは偽だとすればそれは溜め込み易くない fact9: その艦船は飲み終えるということはない fact10: もしその母体は総統批判でないとすれば「それは易しいということはなくてそれに傍受しない」ということは嘘である
fact1 -> int1: 仮に「その艦船は溜め込み易いということはないし加えて傍受しない」ということは嘘なら「糊付けしない」ということは確かだ; fact3 & fact9 -> int2: 「その艦船は溜め込み易くないしまた傍受しない」ということは間違いである; int1 & int2 -> int3: その艦船は糊付けしない; fact6 -> int4: もし仮にその艦船が糊付けしないならそれは熱苦しくない; int3 & int4 -> hypothesis;
その艦船は熱苦しい
$facts$ = fact1: もし「ある物は溜め込み易くないし加えてそれは傍受しない」ということは成り立たないならそれは糊付けしない fact2: 沖縄県内は開かさない fact3: その艦船は飲み終えないとすれば「溜め込み易くないし傍受しない」ということは成り立たない fact4: その珍客は飲み終えるということはない fact5: もし仮にあの婆は熱苦しいとしたら「その艦船は熱苦しい」ということは本当だ fact6: もし仮にあるものが糊付けしないとしたらそれは熱苦しくない fact7: 仮にその艦船は手堅くないとすると「それは熱苦しくないし把握し辛くない」ということは嘘だ fact8: 「なんらかの物は糊付けするということはないしそれは飲み終えない」ということは偽だとすればそれは溜め込み易くない fact9: その艦船は飲み終えるということはない fact10: もしその母体は総統批判でないとすれば「それは易しいということはなくてそれに傍受しない」ということは嘘である ; $hypothesis$ = その艦船は熱苦しい ; $proof$ = 
fact1 -> int1: 仮に「その艦船は溜め込み易いということはないし加えて傍受しない」ということは嘘なら「糊付けしない」ということは確かだ; fact3 & fact9 -> int2: 「その艦船は溜め込み易くないしまた傍受しない」ということは間違いである; int1 & int2 -> int3: その艦船は糊付けしない; fact6 -> int4: もし仮にその艦船が糊付けしないならそれは熱苦しくない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし「ある物は溜め込み易くないし加えてそれは傍受しない」ということは成り立たないならそれは糊付けしない
事実2: 沖縄県内は開かさない
事実3: その艦船は飲み終えないとすれば「溜め込み易くないし傍受しない」ということは成り立たない
事実4: その珍客は飲み終えるということはない
事実5: もし仮にあの婆は熱苦しいとしたら「その艦船は熱苦しい」ということは本当だ
事実6: もし仮にあるものが糊付けしないとしたらそれは熱苦しくない
事実7: 仮にその艦船は手堅くないとすると「それは熱苦しくないし把握し辛くない」ということは嘘だ
事実8: 「なんらかの物は糊付けするということはないしそれは飲み終えない」ということは偽だとすればそれは溜め込み易くない
事実9: その艦船は飲み終えるということはない
事実10: もしその母体は総統批判でないとすれば「それは易しいということはなくてそれに傍受しない」ということは嘘である

仮説: その艦船は熱苦しい
1. 事実1から、推論1: "仮に「その艦船は溜め込み易いということはないし加えて傍受しない」ということは嘘なら「糊付けしない」ということは確かだ"が導かれる
2. 事実3と事実9から、推論2: "「その艦船は溜め込み易くないしまた傍受しない」ということは間違いである"が導かれる
3. 推論1と推論2から、推論3: "その艦船は糊付けしない"が導かれる
4. 事実6から、推論4: "もし仮にその艦船が糊付けしないならそれは熱苦しくない"が導かれる
5. 推論3と推論4から、仮説が否定される

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