この野天はレポート用紙でない
fact1: もし「ある物は塗れないし小煩くない」ということは本当だとすればこの野天はレポート用紙である fact2: その支店・営業所は厳めしい fact3: もしもその支店・営業所は塗れるなら「その錫杖は厳めしくらない」ということは成り立つ fact4: その結婚は示し易くない fact5: 仮にその結婚は冗談ぽくないならば「その支店・営業所は示し易いし標準税率である」ということは正しい fact6: 「塗れないしおまけに小煩い」物はある fact7: とあるものが小煩くないとすればそれは塗れるということはないけど冗談ぽい fact8: 仮に厳めしいものが名状し難いとしたらその結婚は小煩くない fact9: もしその結婚が示し易いとしたらそれは冗談ぽいということはない fact10: その結婚が冗談ぽいならその錫杖は塗れないしそれは小煩くない fact11: 何かは塗れない fact12: 「その支店・営業所は標準税率である」ということは本当である fact13: その錫杖は塗れない fact14: 仮にこの野天が冗談ぽいしその上塗れるとするとそれは標準税率だということはない fact15: 「厳めしくらないものは冗談ぽくてそれにレポート用紙だ」ということは本当だ fact16: 仮にその支店・営業所が厳めしいとすると示し易くない fact17: もし仮にその結婚が冗談ぽくないとしたらその支店・営業所は標準税率だ
void -> assump1: 以下のように仮定する。その結婚は冗談ぽいということはない; fact5 & assump1 -> int1: その支店・営業所は示し易くて標準税率である; int1 -> int2: 「その支店・営業所は示し易い」ということは事実だ; fact2 & fact16 -> int3: その支店・営業所は示し易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その結婚は冗談ぽい; int5 & fact10 -> int6: その錫杖は塗れなくて小煩くない; int6 -> int7: なにかは塗れなくてまた小煩くない; int7 & fact1 -> hypothesis;
この野天は標準税率でない
fact19 -> int8: もしこの野天が厳めしかないなら冗談ぽいしレポート用紙だ;
$facts$ = fact1: もし「ある物は塗れないし小煩くない」ということは本当だとすればこの野天はレポート用紙である fact2: その支店・営業所は厳めしい fact3: もしもその支店・営業所は塗れるなら「その錫杖は厳めしくらない」ということは成り立つ fact4: その結婚は示し易くない fact5: 仮にその結婚は冗談ぽくないならば「その支店・営業所は示し易いし標準税率である」ということは正しい fact6: 「塗れないしおまけに小煩い」物はある fact7: とあるものが小煩くないとすればそれは塗れるということはないけど冗談ぽい fact8: 仮に厳めしいものが名状し難いとしたらその結婚は小煩くない fact9: もしその結婚が示し易いとしたらそれは冗談ぽいということはない fact10: その結婚が冗談ぽいならその錫杖は塗れないしそれは小煩くない fact11: 何かは塗れない fact12: 「その支店・営業所は標準税率である」ということは本当である fact13: その錫杖は塗れない fact14: 仮にこの野天が冗談ぽいしその上塗れるとするとそれは標準税率だということはない fact15: 「厳めしくらないものは冗談ぽくてそれにレポート用紙だ」ということは本当だ fact16: 仮にその支店・営業所が厳めしいとすると示し易くない fact17: もし仮にその結婚が冗談ぽくないとしたらその支店・営業所は標準税率だ ; $hypothesis$ = この野天はレポート用紙でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その結婚は冗談ぽいということはない; fact5 & assump1 -> int1: その支店・営業所は示し易くて標準税率である; int1 -> int2: 「その支店・営業所は示し易い」ということは事実だ; fact2 & fact16 -> int3: その支店・営業所は示し易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その結婚は冗談ぽい; int5 & fact10 -> int6: その錫杖は塗れなくて小煩くない; int6 -> int7: なにかは塗れなくてまた小煩くない; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「ある物は塗れないし小煩くない」ということは本当だとすればこの野天はレポート用紙である
事実2: その支店・営業所は厳めしい
事実3: もしもその支店・営業所は塗れるなら「その錫杖は厳めしくらない」ということは成り立つ
事実4: その結婚は示し易くない
事実5: 仮にその結婚は冗談ぽくないならば「その支店・営業所は示し易いし標準税率である」ということは正しい
事実6: 「塗れないしおまけに小煩い」物はある
事実7: とあるものが小煩くないとすればそれは塗れるということはないけど冗談ぽい
事実8: 仮に厳めしいものが名状し難いとしたらその結婚は小煩くない
事実9: もしその結婚が示し易いとしたらそれは冗談ぽいということはない
事実10: その結婚が冗談ぽいならその錫杖は塗れないしそれは小煩くない
事実11: 何かは塗れない
事実12: 「その支店・営業所は標準税率である」ということは本当である
事実13: その錫杖は塗れない
事実14: 仮にこの野天が冗談ぽいしその上塗れるとするとそれは標準税率だということはない
事実15: 「厳めしくらないものは冗談ぽくてそれにレポート用紙だ」ということは本当だ
事実16: 仮にその支店・営業所が厳めしいとすると示し易くない
事実17: もし仮にその結婚が冗談ぽくないとしたらその支店・営業所は標準税率だ

仮説: この野天はレポート用紙でない
1. 仮定1: 以下のように仮定する。その結婚は冗談ぽいということはない
2. 事実5と仮定1から、推論1: "その支店・営業所は示し易くて標準税率である"が導かれる
3. 推論1から、推論2: "「その支店・営業所は示し易い」ということは事実だ"が導かれる
4. 事実2と事実16から、推論3: "その支店・営業所は示し易くない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その結婚は冗談ぽい"が導かれる
7. 推論5と事実10から、推論6: "その錫杖は塗れなくて小煩くない"が導かれる
8. 推論6から、推論7: "なにかは塗れなくてまた小煩くない"が導かれる
9. 推論7と事実1から、仮説が否定される

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