その月は対さない
fact1: 仮にこの蟻地獄が齎し易いならそれは北方領土問題だ fact2: もしも「その月は対す」ということは成り立つとすると北方領土問題である fact3: この蟻地獄は慈愛深くない fact4: その月は齎し易い fact5: 考え易くないものは弱める fact6: 色っぽくない物は見果てる fact7: 仮にその月が北方領土問題だとするとあの調査船は北方領土問題である fact8: この蟻地獄は対す fact9: もしなにがしかの物が含み込まないとしたら蝟集する fact10: 「その月は慈愛深い」ということは偽でない fact11: もしなにがしかの物は意識し始めないなら野生馬である fact12: もしも「「対す」ということは本当である」物があるとすればその月は北方領土問題であるし齎し易い fact13: もし仮に「あの藍作が慈愛深いということはないしその上それは対すということはない」ということは誤っているとするとその月は対さない fact14: この蟻地獄が北方領土問題ならばあの月は対す fact15: とある物が慈愛深いということはないならば齎し易い
fact15 -> int1: もし仮にこの蟻地獄が慈愛深くないとしたら齎し易い; int1 & fact3 -> int2: この蟻地獄は齎し易い; int2 & fact1 -> int3: この蟻地獄は北方領土問題である; int3 & fact14 -> hypothesis;
「その月は対さない」ということは誤りでない
$facts$ = fact1: 仮にこの蟻地獄が齎し易いならそれは北方領土問題だ fact2: もしも「その月は対す」ということは成り立つとすると北方領土問題である fact3: この蟻地獄は慈愛深くない fact4: その月は齎し易い fact5: 考え易くないものは弱める fact6: 色っぽくない物は見果てる fact7: 仮にその月が北方領土問題だとするとあの調査船は北方領土問題である fact8: この蟻地獄は対す fact9: もしなにがしかの物が含み込まないとしたら蝟集する fact10: 「その月は慈愛深い」ということは偽でない fact11: もしなにがしかの物は意識し始めないなら野生馬である fact12: もしも「「対す」ということは本当である」物があるとすればその月は北方領土問題であるし齎し易い fact13: もし仮に「あの藍作が慈愛深いということはないしその上それは対すということはない」ということは誤っているとするとその月は対さない fact14: この蟻地獄が北方領土問題ならばあの月は対す fact15: とある物が慈愛深いということはないならば齎し易い ; $hypothesis$ = その月は対さない ; $proof$ = 
fact15 -> int1: もし仮にこの蟻地獄が慈愛深くないとしたら齎し易い; int1 & fact3 -> int2: この蟻地獄は齎し易い; int2 & fact1 -> int3: この蟻地獄は北方領土問題である; int3 & fact14 -> hypothesis; __DISPROVED__
事実1: 仮にこの蟻地獄が齎し易いならそれは北方領土問題だ
事実2: もしも「その月は対す」ということは成り立つとすると北方領土問題である
事実3: この蟻地獄は慈愛深くない
事実4: その月は齎し易い
事実5: 考え易くないものは弱める
事実6: 色っぽくない物は見果てる
事実7: 仮にその月が北方領土問題だとするとあの調査船は北方領土問題である
事実8: この蟻地獄は対す
事実9: もしなにがしかの物が含み込まないとしたら蝟集する
事実10: 「その月は慈愛深い」ということは偽でない
事実11: もしなにがしかの物は意識し始めないなら野生馬である
事実12: もしも「「対す」ということは本当である」物があるとすればその月は北方領土問題であるし齎し易い
事実13: もし仮に「あの藍作が慈愛深いということはないしその上それは対すということはない」ということは誤っているとするとその月は対さない
事実14: この蟻地獄が北方領土問題ならばあの月は対す
事実15: とある物が慈愛深いということはないならば齎し易い

仮説: その月は対さない
1. 事実15から、推論1: "もし仮にこの蟻地獄が慈愛深くないとしたら齎し易い"が導かれる
2. 推論1と事実3から、推論2: "この蟻地獄は齎し易い"が導かれる
3. 推論2と事実1から、推論3: "この蟻地獄は北方領土問題である"が導かれる
4. 推論3と事実14から、仮説が否定される

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