この黒装束は焦れったくないか味わい得ないか両方ともだ
fact1: この宿泊代は味わい得る fact2: この黒装束が焦れったくないとしたらこの宿泊代は猪子町でない fact3: 恙無くない物は猪子町でない fact4: この黒装束は恙無い fact5: もし仮にとある物が猪子町でないならそれは焦れったくないかあるいは味わい得ないかもしくは両方ともである fact6: 仮にこの黒装束が味わい得ないとするとこの宿泊代は猪子町でない fact7: もしこの黒装束は味わい得ないなら「この宿泊代は猪子町だ」ということは嘘でない fact8: 「この黒装束は味わい得る」ということは成り立つとするとそれは恙無い fact9: もしこの宿泊代が焦れったいとすればそれは恙無い fact10: もし仮にこの宿泊代が恙無いならば猪子町だ fact11: この宿泊代は恙無い
void -> assump1: 以下のように仮定する。「この黒装束は焦れったいということはないかあるいは味わい得ないかまたは両方である」ということは本当だ; assump1 & fact2 & fact6 -> int1: この宿泊代は猪子町でない; fact11 & fact10 -> int2: この宿泊代は猪子町だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{A}{a} v ¬{B}{a}); assump1 & fact2 & fact6 -> int1: ¬{C}{c}; fact11 & fact10 -> int2: {C}{c}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この黒装束は焦れったくないかまたは味わい得ない
fact12 -> int4: もしこの黒装束が猪子町でないならそれは焦れったくないかまたはそれは味わい得ない; fact13 -> int5: もしもこの黒装束が恙無くないとすればそれは猪子町であるということはない;
$facts$ = fact1: この宿泊代は味わい得る fact2: この黒装束が焦れったくないとしたらこの宿泊代は猪子町でない fact3: 恙無くない物は猪子町でない fact4: この黒装束は恙無い fact5: もし仮にとある物が猪子町でないならそれは焦れったくないかあるいは味わい得ないかもしくは両方ともである fact6: 仮にこの黒装束が味わい得ないとするとこの宿泊代は猪子町でない fact7: もしこの黒装束は味わい得ないなら「この宿泊代は猪子町だ」ということは嘘でない fact8: 「この黒装束は味わい得る」ということは成り立つとするとそれは恙無い fact9: もしこの宿泊代が焦れったいとすればそれは恙無い fact10: もし仮にこの宿泊代が恙無いならば猪子町だ fact11: この宿泊代は恙無い ; $hypothesis$ = この黒装束は焦れったくないか味わい得ないか両方ともだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この黒装束は焦れったいということはないかあるいは味わい得ないかまたは両方である」ということは本当だ; assump1 & fact2 & fact6 -> int1: この宿泊代は猪子町でない; fact11 & fact10 -> int2: この宿泊代は猪子町だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この宿泊代は味わい得る
事実2: この黒装束が焦れったくないとしたらこの宿泊代は猪子町でない
事実3: 恙無くない物は猪子町でない
事実4: この黒装束は恙無い
事実5: もし仮にとある物が猪子町でないならそれは焦れったくないかあるいは味わい得ないかもしくは両方ともである
事実6: 仮にこの黒装束が味わい得ないとするとこの宿泊代は猪子町でない
事実7: もしこの黒装束は味わい得ないなら「この宿泊代は猪子町だ」ということは嘘でない
事実8: 「この黒装束は味わい得る」ということは成り立つとするとそれは恙無い
事実9: もしこの宿泊代が焦れったいとすればそれは恙無い
事実10: もし仮にこの宿泊代が恙無いならば猪子町だ
事実11: この宿泊代は恙無い

仮説: この黒装束は焦れったくないか味わい得ないか両方ともだ
1. 仮定1: 以下のように仮定する。「この黒装束は焦れったいということはないかあるいは味わい得ないかまたは両方である」ということは本当だ
2. 仮定1と事実2と事実6から、推論1: "この宿泊代は猪子町でない"が導かれる
3. 事実11と事実10から、推論2: "この宿泊代は猪子町だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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