「この興奮気味は消化吸収され易いということはないけれど肌寒い」ということは誤っている
fact1: この興奮気味が消化吸収され易いがしかし肌寒くないとするとその優先は消化吸収され易い fact2: もしもこの興奮気味が肌寒いけれど消化吸収され易くないなら「その優先は肌寒い」ということは間違いでない fact3: その優先は惨めさであるがしかし維持・継承するということはない fact4: この興奮気味は複写機である fact5: もしなんらかのものが染み込み易くないなら無化しない fact6: その優先は温かい一方で男女平等問題でない fact7: この興奮気味は肌寒いけど維持・継承するということはない fact8: あの水遊びは惨めさでない fact9: もしもその優先は惨めさでないなら「この興奮気味は消化吸収され易いということはないがしかし肌寒い」ということは成り立たない fact10: もしその優先は惨めさだけど維持・継承しないとすれば「この興奮気味は惨めさである」ということは成り立つ fact11: 仮になんらかのものは惨めさであるならば乾き易い fact12: もしもその優先が惨めさだがしかし肌寒くないならばあの興奮気味は惨めさである fact13: もしあるものは尿培養検査であるとすると「それは失い始める」ということは正しい fact14: 「なんらかのものは消化吸収され易くないが肌寒い」ということは誤りだとすると乾き易いということはない fact15: もし「何かは消化吸収され易くないがしかし惨めさである」ということは成り立たないなら「それは維持・継承しない」ということは成り立つ fact16: もし仮に「その優先は消化吸収され易い」ということは成り立つとしたら「それは惨めさだ」ということは正しい fact17: その優先は乾き易い fact18: なにがしかのものは香りでないとしたらそれは馴れ馴れしいということはない fact19: 「「この興奮気味は惨めさだということはないけど無化する」ということは成り立つ」ということは事実と異なる
fact14 -> int1: もし「この興奮気味は消化吸収され易くないがそれは肌寒い」ということは誤りなら乾き易くない; void -> assump1: 以下のように仮定する。「この興奮気味は消化吸収され易くないけれどそれは肌寒い」ということは間違いである; int1 & assump1 -> int2: この興奮気味は乾き易くない; fact3 & fact10 -> int3: この興奮気味は惨めさである; fact11 -> int4: この興奮気味が惨めさだとすると乾き易い; int3 & int4 -> int5: この興奮気味は乾き易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「この興奮気味は消化吸収され易くないがそれは肌寒い」ということは偽だ
$facts$ = fact1: この興奮気味が消化吸収され易いがしかし肌寒くないとするとその優先は消化吸収され易い fact2: もしもこの興奮気味が肌寒いけれど消化吸収され易くないなら「その優先は肌寒い」ということは間違いでない fact3: その優先は惨めさであるがしかし維持・継承するということはない fact4: この興奮気味は複写機である fact5: もしなんらかのものが染み込み易くないなら無化しない fact6: その優先は温かい一方で男女平等問題でない fact7: この興奮気味は肌寒いけど維持・継承するということはない fact8: あの水遊びは惨めさでない fact9: もしもその優先は惨めさでないなら「この興奮気味は消化吸収され易いということはないがしかし肌寒い」ということは成り立たない fact10: もしその優先は惨めさだけど維持・継承しないとすれば「この興奮気味は惨めさである」ということは成り立つ fact11: 仮になんらかのものは惨めさであるならば乾き易い fact12: もしもその優先が惨めさだがしかし肌寒くないならばあの興奮気味は惨めさである fact13: もしあるものは尿培養検査であるとすると「それは失い始める」ということは正しい fact14: 「なんらかのものは消化吸収され易くないが肌寒い」ということは誤りだとすると乾き易いということはない fact15: もし「何かは消化吸収され易くないがしかし惨めさである」ということは成り立たないなら「それは維持・継承しない」ということは成り立つ fact16: もし仮に「その優先は消化吸収され易い」ということは成り立つとしたら「それは惨めさだ」ということは正しい fact17: その優先は乾き易い fact18: なにがしかのものは香りでないとしたらそれは馴れ馴れしいということはない fact19: 「「この興奮気味は惨めさだということはないけど無化する」ということは成り立つ」ということは事実と異なる ; $hypothesis$ = 「この興奮気味は消化吸収され易いということはないけれど肌寒い」ということは誤っている ; $proof$ = 
fact14 -> int1: もし「この興奮気味は消化吸収され易くないがそれは肌寒い」ということは誤りなら乾き易くない; void -> assump1: 以下のように仮定する。「この興奮気味は消化吸収され易くないけれどそれは肌寒い」ということは間違いである; int1 & assump1 -> int2: この興奮気味は乾き易くない; fact3 & fact10 -> int3: この興奮気味は惨めさである; fact11 -> int4: この興奮気味が惨めさだとすると乾き易い; int3 & int4 -> int5: この興奮気味は乾き易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: この興奮気味が消化吸収され易いがしかし肌寒くないとするとその優先は消化吸収され易い
事実2: もしもこの興奮気味が肌寒いけれど消化吸収され易くないなら「その優先は肌寒い」ということは間違いでない
事実3: その優先は惨めさであるがしかし維持・継承するということはない
事実4: この興奮気味は複写機である
事実5: もしなんらかのものが染み込み易くないなら無化しない
事実6: その優先は温かい一方で男女平等問題でない
事実7: この興奮気味は肌寒いけど維持・継承するということはない
事実8: あの水遊びは惨めさでない
事実9: もしもその優先は惨めさでないなら「この興奮気味は消化吸収され易いということはないがしかし肌寒い」ということは成り立たない
事実10: もしその優先は惨めさだけど維持・継承しないとすれば「この興奮気味は惨めさである」ということは成り立つ
事実11: 仮になんらかのものは惨めさであるならば乾き易い
事実12: もしもその優先が惨めさだがしかし肌寒くないならばあの興奮気味は惨めさである
事実13: もしあるものは尿培養検査であるとすると「それは失い始める」ということは正しい
事実14: 「なんらかのものは消化吸収され易くないが肌寒い」ということは誤りだとすると乾き易いということはない
事実15: もし「何かは消化吸収され易くないがしかし惨めさである」ということは成り立たないなら「それは維持・継承しない」ということは成り立つ
事実16: もし仮に「その優先は消化吸収され易い」ということは成り立つとしたら「それは惨めさだ」ということは正しい
事実17: その優先は乾き易い
事実18: なにがしかのものは香りでないとしたらそれは馴れ馴れしいということはない
事実19: 「「この興奮気味は惨めさだということはないけど無化する」ということは成り立つ」ということは事実と異なる

仮説: 「この興奮気味は消化吸収され易いということはないけれど肌寒い」ということは誤っている
1. 事実14から、推論1: "もし「この興奮気味は消化吸収され易くないがそれは肌寒い」ということは誤りなら乾き易くない"が導かれる
2. 仮定1: 以下のように仮定する。「この興奮気味は消化吸収され易くないけれどそれは肌寒い」ということは間違いである
3. 推論1と仮定1から、推論2: "この興奮気味は乾き易くない"が導かれる
4. 事実3と事実10から、推論3: "この興奮気味は惨めさである"が導かれる
5. 事実11から、推論4: "この興奮気味が惨めさだとすると乾き易い"が導かれる
6. 推論3と推論4から、推論5: "この興奮気味は乾き易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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