そのヘカトンケイル達は集まり易い
fact1: あのアンダーソン等が小二だしそれは男っぽい fact2: そのヘカトンケイル達は比較し難い fact3: なにがしかの物は御遺骸でないならば周縁であるししかも罹患し易い fact4: もし仮に「とある物は比較し難いけれど日光連山でない」ということは事実と異なるとすればそれは白っぽくない fact5: 男っぽくない物は仕事らしいししかも誤り無い fact6: 「男っぽくない一方で白っぽい」ものはある fact7: もしもそのヘカトンケイル達が周縁であるかあるいはそれは男っぽいかまたはどちらもであるとしたら御遺骸でない fact8: 「「日光連山でないがしかし比較し難い」ということは誤りである」ものはある fact9: もしそのヘカトンケイル達は周縁ならば「御遺骸でない」ということは偽でない fact10: もし「「日光連山でないしかつ比較し難い」ということは誤りな」物はあるとすると「そのヘカトンケイル達は御遺骸だ」ということは成り立つ fact11: そのヘカトンケイル達は白っぽい fact12: 「そのヘカトンケイル達は生み難くておまけに吹く」ということは正しい fact13: 「御存じ無いかあるいは真ん丸い」ものはある fact14: もし仕事らしくないものが誤り無いとすれば男っぽい fact15: 周縁は集まり易い fact16: もしもとある物が御存じ無いかまたは真ん丸いとすればそのヘカトンケイル達は切り易くない fact17: もし仕事らしいものが尋ね合えばそれは集まり易くない fact18: そのヘカトンケイル達は尋ね合うし加えて白っぽい fact19: 仮に「日光連山な」ものがあるとしたらそのヘカトンケイル達は御遺骸だ fact20: 白っぽくないものは仕事らしくないけれど誤り無い fact21: この悪漢は集まり易くないけれど尋ね合う
void -> assump1: 以下のように仮定する。そのヘカトンケイル達は男っぽい; assump1 -> int1: そのヘカトンケイル達は周縁であるかもしくは男っぽい; int1 & fact7 -> int2: そのヘカトンケイル達は御遺骸でない; fact8 & fact10 -> int3: そのヘカトンケイル達は御遺骸だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのヘカトンケイル達は男っぽくない; fact5 -> int6: もしもそのヘカトンケイル達が男っぽいということはないとしたらそれは仕事らしいしそれに誤り無い; int5 & int6 -> int7: そのヘカトンケイル達は仕事らしいし誤り無い; int7 -> int8: そのヘカトンケイル達は仕事らしい; fact18 -> int9: そのヘカトンケイル達は尋ね合う; int8 & int9 -> int10: そのヘカトンケイル達は仕事らしいし更に尋ね合う; fact17 -> int11: そのヘカトンケイル達は仕事らしいし尋ね合うとしたらそれは集まり易くない; int10 & int11 -> hypothesis;
この悪漢は男っぽいししかも罹患し易い
fact27 -> int12: 仮にこの悪漢は仕事らしくないがしかし誤り無いならば男っぽい; fact23 -> int13: もし仮にこの悪漢が白っぽくないならばそれは仕事らしくないしその上それは誤り無い; fact24 -> int14: 仮に「この悪漢は比較し難いがそれは日光連山であるということはない」ということは嘘であるならば白っぽくない; fact22 & fact26 -> int15: そのヘカトンケイル達は切り易くない; int15 -> int16: 「切り易くない」物はある; fact25 -> int17: 仮にこの悪漢が御遺骸でないとしたら周縁でそれは罹患し易い;
$facts$ = fact1: あのアンダーソン等が小二だしそれは男っぽい fact2: そのヘカトンケイル達は比較し難い fact3: なにがしかの物は御遺骸でないならば周縁であるししかも罹患し易い fact4: もし仮に「とある物は比較し難いけれど日光連山でない」ということは事実と異なるとすればそれは白っぽくない fact5: 男っぽくない物は仕事らしいししかも誤り無い fact6: 「男っぽくない一方で白っぽい」ものはある fact7: もしもそのヘカトンケイル達が周縁であるかあるいはそれは男っぽいかまたはどちらもであるとしたら御遺骸でない fact8: 「「日光連山でないがしかし比較し難い」ということは誤りである」ものはある fact9: もしそのヘカトンケイル達は周縁ならば「御遺骸でない」ということは偽でない fact10: もし「「日光連山でないしかつ比較し難い」ということは誤りな」物はあるとすると「そのヘカトンケイル達は御遺骸だ」ということは成り立つ fact11: そのヘカトンケイル達は白っぽい fact12: 「そのヘカトンケイル達は生み難くておまけに吹く」ということは正しい fact13: 「御存じ無いかあるいは真ん丸い」ものはある fact14: もし仕事らしくないものが誤り無いとすれば男っぽい fact15: 周縁は集まり易い fact16: もしもとある物が御存じ無いかまたは真ん丸いとすればそのヘカトンケイル達は切り易くない fact17: もし仕事らしいものが尋ね合えばそれは集まり易くない fact18: そのヘカトンケイル達は尋ね合うし加えて白っぽい fact19: 仮に「日光連山な」ものがあるとしたらそのヘカトンケイル達は御遺骸だ fact20: 白っぽくないものは仕事らしくないけれど誤り無い fact21: この悪漢は集まり易くないけれど尋ね合う ; $hypothesis$ = そのヘカトンケイル達は集まり易い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのヘカトンケイル達は男っぽい; assump1 -> int1: そのヘカトンケイル達は周縁であるかもしくは男っぽい; int1 & fact7 -> int2: そのヘカトンケイル達は御遺骸でない; fact8 & fact10 -> int3: そのヘカトンケイル達は御遺骸だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのヘカトンケイル達は男っぽくない; fact5 -> int6: もしもそのヘカトンケイル達が男っぽいということはないとしたらそれは仕事らしいしそれに誤り無い; int5 & int6 -> int7: そのヘカトンケイル達は仕事らしいし誤り無い; int7 -> int8: そのヘカトンケイル達は仕事らしい; fact18 -> int9: そのヘカトンケイル達は尋ね合う; int8 & int9 -> int10: そのヘカトンケイル達は仕事らしいし更に尋ね合う; fact17 -> int11: そのヘカトンケイル達は仕事らしいし尋ね合うとしたらそれは集まり易くない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: あのアンダーソン等が小二だしそれは男っぽい
事実2: そのヘカトンケイル達は比較し難い
事実3: なにがしかの物は御遺骸でないならば周縁であるししかも罹患し易い
事実4: もし仮に「とある物は比較し難いけれど日光連山でない」ということは事実と異なるとすればそれは白っぽくない
事実5: 男っぽくない物は仕事らしいししかも誤り無い
事実6: 「男っぽくない一方で白っぽい」ものはある
事実7: もしもそのヘカトンケイル達が周縁であるかあるいはそれは男っぽいかまたはどちらもであるとしたら御遺骸でない
事実8: 「「日光連山でないがしかし比較し難い」ということは誤りである」ものはある
事実9: もしそのヘカトンケイル達は周縁ならば「御遺骸でない」ということは偽でない
事実10: もし「「日光連山でないしかつ比較し難い」ということは誤りな」物はあるとすると「そのヘカトンケイル達は御遺骸だ」ということは成り立つ
事実11: そのヘカトンケイル達は白っぽい
事実12: 「そのヘカトンケイル達は生み難くておまけに吹く」ということは正しい
事実13: 「御存じ無いかあるいは真ん丸い」ものはある
事実14: もし仕事らしくないものが誤り無いとすれば男っぽい
事実15: 周縁は集まり易い
事実16: もしもとある物が御存じ無いかまたは真ん丸いとすればそのヘカトンケイル達は切り易くない
事実17: もし仕事らしいものが尋ね合えばそれは集まり易くない
事実18: そのヘカトンケイル達は尋ね合うし加えて白っぽい
事実19: 仮に「日光連山な」ものがあるとしたらそのヘカトンケイル達は御遺骸だ
事実20: 白っぽくないものは仕事らしくないけれど誤り無い
事実21: この悪漢は集まり易くないけれど尋ね合う

仮説: そのヘカトンケイル達は集まり易い
1. 仮定1: 以下のように仮定する。そのヘカトンケイル達は男っぽい
2. 仮定1から、推論1: "そのヘカトンケイル達は周縁であるかもしくは男っぽい"が導かれる
3. 推論1と事実7から、推論2: "そのヘカトンケイル達は御遺骸でない"が導かれる
4. 事実8と事実10から、推論3: "そのヘカトンケイル達は御遺骸だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのヘカトンケイル達は男っぽくない"が導かれる
7. 事実5から、推論6: "もしもそのヘカトンケイル達が男っぽいということはないとしたらそれは仕事らしいしそれに誤り無い"が導かれる
8. 推論5と推論6から、推論7: "そのヘカトンケイル達は仕事らしいし誤り無い"が導かれる
9. 推論7から、推論8: "そのヘカトンケイル達は仕事らしい"が導かれる
10. 事実18から、推論9: "そのヘカトンケイル達は尋ね合う"が導かれる
11. 推論8と推論9から、推論10: "そのヘカトンケイル達は仕事らしいし更に尋ね合う"が導かれる
12. 事実17から、推論11: "そのヘカトンケイル達は仕事らしいし尋ね合うとしたらそれは集まり易くない"が導かれる
13. 推論10と推論11から、仮説が否定される

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