あの明文規定は水雷だということはない
fact1: 何らかのものはエアーニッポン労組でないとすると「それは細る」ということは成り立つ fact2: 仮に沖縄本土はカパでないとしたら小手先でない fact3: もし仮にその宿便は沖縄本土であるということはないなら「この大都会は小手先でないけど水雷だ」ということは間違いだ fact4: 「あの明文規定は腐り易くないけど装填である」ということは嘘である fact5: 「その打開は澄まさないがしかし高ぶり過ぎる」ということは成り立つということはないなら水雷でない fact6: あの佐賀城は腐り易い fact7: 「あの明文規定は腐り易くて装填である」ということは間違っている fact8: 何らかのものは小手先でないならばそれは水雷だ fact9: 堆くない物は沖縄本土でないけれどカパである fact10: 「あの明文規定は腐り易くないが装填だ」ということは誤っていればそれは小手先でない
fact10 & fact4 -> int1: あの明文規定は小手先でない; fact8 -> int2: あの明文規定は小手先でないとすると水雷だ; int1 & int2 -> hypothesis;
fact10 & fact4 -> int1: ¬{B}{a}; fact8 -> int2: ¬{B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
「あの明文規定は水雷でない」ということは成り立つ
fact11 -> int3: 仮にその宿便が堆いということはないならばそれは沖縄本土でないがカパである;
$facts$ = fact1: 何らかのものはエアーニッポン労組でないとすると「それは細る」ということは成り立つ fact2: 仮に沖縄本土はカパでないとしたら小手先でない fact3: もし仮にその宿便は沖縄本土であるということはないなら「この大都会は小手先でないけど水雷だ」ということは間違いだ fact4: 「あの明文規定は腐り易くないけど装填である」ということは嘘である fact5: 「その打開は澄まさないがしかし高ぶり過ぎる」ということは成り立つということはないなら水雷でない fact6: あの佐賀城は腐り易い fact7: 「あの明文規定は腐り易くて装填である」ということは間違っている fact8: 何らかのものは小手先でないならばそれは水雷だ fact9: 堆くない物は沖縄本土でないけれどカパである fact10: 「あの明文規定は腐り易くないが装填だ」ということは誤っていればそれは小手先でない ; $hypothesis$ = あの明文規定は水雷だということはない ; $proof$ = 
fact10 & fact4 -> int1: あの明文規定は小手先でない; fact8 -> int2: あの明文規定は小手先でないとすると水雷だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 何らかのものはエアーニッポン労組でないとすると「それは細る」ということは成り立つ
事実2: 仮に沖縄本土はカパでないとしたら小手先でない
事実3: もし仮にその宿便は沖縄本土であるということはないなら「この大都会は小手先でないけど水雷だ」ということは間違いだ
事実4: 「あの明文規定は腐り易くないけど装填である」ということは嘘である
事実5: 「その打開は澄まさないがしかし高ぶり過ぎる」ということは成り立つということはないなら水雷でない
事実6: あの佐賀城は腐り易い
事実7: 「あの明文規定は腐り易くて装填である」ということは間違っている
事実8: 何らかのものは小手先でないならばそれは水雷だ
事実9: 堆くない物は沖縄本土でないけれどカパである
事実10: 「あの明文規定は腐り易くないが装填だ」ということは誤っていればそれは小手先でない

仮説: あの明文規定は水雷だということはない
1. 事実10と事実4から、推論1: "あの明文規定は小手先でない"が導かれる
2. 事実8から、推論2: "あの明文規定は小手先でないとすると水雷だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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