その昨年度はバイナリ処理でない
fact1: もし仮に「その昨年度はバイナリ処理でないけどコサックである」ということは事実でないならばコサックでない fact2: 三十二Ｐは掘る fact3: もし仮にあの菊坂ハウスが掘らないとしたらその昨年度はバイナリ処理である fact4: もしも「あの菊坂ハウスは三十二Ｐでないがしかしコサックである」ということは成り立たないとするとそれはコサックでない fact5: なにがしかの物が掘るとすればバイナリ処理でない fact6: もしもある物が三十二Ｐだとしたらそれはコサックだ fact7: もしあの菊坂ハウスは馬鍬だとしたら「コサックである」ということは事実である fact8: もしあの百八十一系は逆掲揚しないならば「芳しいし加えて判決する」ということは成り立つ fact9: 「あの菊坂ハウスは三十二Ｐでない一方でそれはコサックだ」ということは成り立たない fact10: あの菊坂ハウスが三十二Ｐであるならばあの昨年度は三十二Ｐだ fact11: もし「あの不規則動詞は男っぽくないけど弱い」ということは成り立たないとすればあの第二‐一表は男っぽい fact12: もし仮に「あの百八十一系は芳しい」ということは正しいとしたらあの菊坂ハウスは三十二Ｐだ fact13: もし仮にあの菊坂ハウスが掘るとしたらそれはコサックである fact14: 「あの不規則動詞は男っぽくないけれど弱い」ということは誤りである fact15: もしもその第二‐一表は男っぽいとすると「逆掲揚する」ということは本当だ fact16: 仮にその昨年度が掘るとしたらあの菊坂ハウスはバイナリ処理だということはないかもしくはコサックでないかまたはどちらもだ fact17: コサックは掘る fact18: 「あるものは判決しなくて更に芳しくない」ということは間違っているとしたらそれは芳しい fact19: あの菊坂ハウスは対座しない
void -> assump1: 以下のように仮定する。あの菊坂ハウスは掘る; fact13 & assump1 -> int1: あの菊坂ハウスはコサックだ; fact4 & fact9 -> int2: あの菊坂ハウスはコサックでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの菊坂ハウスは掘らない; int4 & fact3 -> hypothesis;
「あの事務所等はバイナリ処理でない」ということは成り立つ
fact22 -> int5: その昨年度が三十二Ｐなら掘る;
$facts$ = fact1: もし仮に「その昨年度はバイナリ処理でないけどコサックである」ということは事実でないならばコサックでない fact2: 三十二Ｐは掘る fact3: もし仮にあの菊坂ハウスが掘らないとしたらその昨年度はバイナリ処理である fact4: もしも「あの菊坂ハウスは三十二Ｐでないがしかしコサックである」ということは成り立たないとするとそれはコサックでない fact5: なにがしかの物が掘るとすればバイナリ処理でない fact6: もしもある物が三十二Ｐだとしたらそれはコサックだ fact7: もしあの菊坂ハウスは馬鍬だとしたら「コサックである」ということは事実である fact8: もしあの百八十一系は逆掲揚しないならば「芳しいし加えて判決する」ということは成り立つ fact9: 「あの菊坂ハウスは三十二Ｐでない一方でそれはコサックだ」ということは成り立たない fact10: あの菊坂ハウスが三十二Ｐであるならばあの昨年度は三十二Ｐだ fact11: もし「あの不規則動詞は男っぽくないけど弱い」ということは成り立たないとすればあの第二‐一表は男っぽい fact12: もし仮に「あの百八十一系は芳しい」ということは正しいとしたらあの菊坂ハウスは三十二Ｐだ fact13: もし仮にあの菊坂ハウスが掘るとしたらそれはコサックである fact14: 「あの不規則動詞は男っぽくないけれど弱い」ということは誤りである fact15: もしもその第二‐一表は男っぽいとすると「逆掲揚する」ということは本当だ fact16: 仮にその昨年度が掘るとしたらあの菊坂ハウスはバイナリ処理だということはないかもしくはコサックでないかまたはどちらもだ fact17: コサックは掘る fact18: 「あるものは判決しなくて更に芳しくない」ということは間違っているとしたらそれは芳しい fact19: あの菊坂ハウスは対座しない ; $hypothesis$ = その昨年度はバイナリ処理でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの菊坂ハウスは掘る; fact13 & assump1 -> int1: あの菊坂ハウスはコサックだ; fact4 & fact9 -> int2: あの菊坂ハウスはコサックでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの菊坂ハウスは掘らない; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に「その昨年度はバイナリ処理でないけどコサックである」ということは事実でないならばコサックでない
事実2: 三十二Ｐは掘る
事実3: もし仮にあの菊坂ハウスが掘らないとしたらその昨年度はバイナリ処理である
事実4: もしも「あの菊坂ハウスは三十二Ｐでないがしかしコサックである」ということは成り立たないとするとそれはコサックでない
事実5: なにがしかの物が掘るとすればバイナリ処理でない
事実6: もしもある物が三十二Ｐだとしたらそれはコサックだ
事実7: もしあの菊坂ハウスは馬鍬だとしたら「コサックである」ということは事実である
事実8: もしあの百八十一系は逆掲揚しないならば「芳しいし加えて判決する」ということは成り立つ
事実9: 「あの菊坂ハウスは三十二Ｐでない一方でそれはコサックだ」ということは成り立たない
事実10: あの菊坂ハウスが三十二Ｐであるならばあの昨年度は三十二Ｐだ
事実11: もし「あの不規則動詞は男っぽくないけど弱い」ということは成り立たないとすればあの第二‐一表は男っぽい
事実12: もし仮に「あの百八十一系は芳しい」ということは正しいとしたらあの菊坂ハウスは三十二Ｐだ
事実13: もし仮にあの菊坂ハウスが掘るとしたらそれはコサックである
事実14: 「あの不規則動詞は男っぽくないけれど弱い」ということは誤りである
事実15: もしもその第二‐一表は男っぽいとすると「逆掲揚する」ということは本当だ
事実16: 仮にその昨年度が掘るとしたらあの菊坂ハウスはバイナリ処理だということはないかもしくはコサックでないかまたはどちらもだ
事実17: コサックは掘る
事実18: 「あるものは判決しなくて更に芳しくない」ということは間違っているとしたらそれは芳しい
事実19: あの菊坂ハウスは対座しない

仮説: その昨年度はバイナリ処理でない
1. 仮定1: 以下のように仮定する。あの菊坂ハウスは掘る
2. 事実13と仮定1から、推論1: "あの菊坂ハウスはコサックだ"が導かれる
3. 事実4と事実9から、推論2: "あの菊坂ハウスはコサックでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの菊坂ハウスは掘らない"が導かれる
6. 推論4と事実3から、仮説が否定される

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