「「あの当該役務は遅れ易くないがしかし仲睦まじい」ということは事実と異なる」ということは正しい
fact1: もしもその返品が生産基盤でないとしたらあの当該役務は仲睦まじい fact2: その返品はうんちしないがしかし非常電源だ fact3: その返品が現前しないがしかしそれは生産基盤であるとすると「そのアナログ信号はしんどい」ということは成り立つ fact4: もしも「あの当該役務は遅れ易い」ということは成り立たないならばあのアナログ信号はしんどかない一方で現前する fact5: 「この事後は生産基盤であるということはない」ということは確かである fact6: そのアナログ信号は非常電源でない fact7: 「なにがしかのものは生産基盤でない」ということは成り立つなら「それは遅れ易くないが仲睦まじい」ということは間違っている fact8: その返品はうんちしないがしかし遅れ易い fact9: もししんどいものが現前するとすればそれは生産基盤でない fact10: そのアナログ信号は原子力委員会でない fact11: もしそのアナログ信号がしんどいならそれは原子力委員会だ fact12: その返品は老婆達であるししかもそれは屹立する fact13: 仮に「老婆達な」物があるとすればあの当該役務はしんどくてかつ原子力委員会だ fact14: もしもその返品はうんちしない一方で非常電源だとするとそれは現前しない fact15: そのアナログ信号は厚しないけど割り算する fact16: その第一次西園寺内閣はうんちするということはない fact17: あの当該役務はうんちしない fact18: あの一顧は現前しない一方で醜い fact19: 「そのアナログ信号は仲睦まじくない」ということは成り立つ fact20: その返品は冷め易くない fact21: もしその返品が生産基盤でないとしたらあの当該役務は遅れ易くないけど仲睦まじい fact22: 「あの当該役務は非常電源でない」ということは成り立つとしたらその返品は生産基盤だということはないけれど遅れ易い
fact14 & fact2 -> int1: その返品は現前しない; void -> assump1: 以下のように仮定する。その返品は生産基盤だ; int1 & assump1 -> int2: その返品は現前しない一方で生産基盤だ; int2 & fact3 -> int3: そのアナログ信号はしんどい; int3 & fact11 -> int4: そのアナログ信号は原子力委員会である; int4 & fact10 -> int5: これは矛盾である; [assump1] & int5 -> int6: その返品は生産基盤でない; int6 & fact21 -> hypothesis;
「あの当該役務は遅れ易いということはないけれど仲睦まじい」ということは誤りだ
fact26 -> int7: あの当該役務は生産基盤だということはないとすれば「遅れ易くないが仲睦まじい」ということは成り立たない; fact23 -> int8: あの当該役務がしんどいしかつ現前するなら生産基盤でない; fact25 -> int9: その返品は老婆達だ; int9 -> int10: 「老婆達な」ものはある; int10 & fact24 -> int11: あの当該役務はしんどいしまた原子力委員会である; int11 -> int12: あの当該役務はしんどい;
$facts$ = fact1: もしもその返品が生産基盤でないとしたらあの当該役務は仲睦まじい fact2: その返品はうんちしないがしかし非常電源だ fact3: その返品が現前しないがしかしそれは生産基盤であるとすると「そのアナログ信号はしんどい」ということは成り立つ fact4: もしも「あの当該役務は遅れ易い」ということは成り立たないならばあのアナログ信号はしんどかない一方で現前する fact5: 「この事後は生産基盤であるということはない」ということは確かである fact6: そのアナログ信号は非常電源でない fact7: 「なにがしかのものは生産基盤でない」ということは成り立つなら「それは遅れ易くないが仲睦まじい」ということは間違っている fact8: その返品はうんちしないがしかし遅れ易い fact9: もししんどいものが現前するとすればそれは生産基盤でない fact10: そのアナログ信号は原子力委員会でない fact11: もしそのアナログ信号がしんどいならそれは原子力委員会だ fact12: その返品は老婆達であるししかもそれは屹立する fact13: 仮に「老婆達な」物があるとすればあの当該役務はしんどくてかつ原子力委員会だ fact14: もしもその返品はうんちしない一方で非常電源だとするとそれは現前しない fact15: そのアナログ信号は厚しないけど割り算する fact16: その第一次西園寺内閣はうんちするということはない fact17: あの当該役務はうんちしない fact18: あの一顧は現前しない一方で醜い fact19: 「そのアナログ信号は仲睦まじくない」ということは成り立つ fact20: その返品は冷め易くない fact21: もしその返品が生産基盤でないとしたらあの当該役務は遅れ易くないけど仲睦まじい fact22: 「あの当該役務は非常電源でない」ということは成り立つとしたらその返品は生産基盤だということはないけれど遅れ易い ; $hypothesis$ = 「「あの当該役務は遅れ易くないがしかし仲睦まじい」ということは事実と異なる」ということは正しい ; $proof$ = 
fact14 & fact2 -> int1: その返品は現前しない; void -> assump1: 以下のように仮定する。その返品は生産基盤だ; int1 & assump1 -> int2: その返品は現前しない一方で生産基盤だ; int2 & fact3 -> int3: そのアナログ信号はしんどい; int3 & fact11 -> int4: そのアナログ信号は原子力委員会である; int4 & fact10 -> int5: これは矛盾である; [assump1] & int5 -> int6: その返品は生産基盤でない; int6 & fact21 -> hypothesis; __DISPROVED__
事実1: もしもその返品が生産基盤でないとしたらあの当該役務は仲睦まじい
事実2: その返品はうんちしないがしかし非常電源だ
事実3: その返品が現前しないがしかしそれは生産基盤であるとすると「そのアナログ信号はしんどい」ということは成り立つ
事実4: もしも「あの当該役務は遅れ易い」ということは成り立たないならばあのアナログ信号はしんどかない一方で現前する
事実5: 「この事後は生産基盤であるということはない」ということは確かである
事実6: そのアナログ信号は非常電源でない
事実7: 「なにがしかのものは生産基盤でない」ということは成り立つなら「それは遅れ易くないが仲睦まじい」ということは間違っている
事実8: その返品はうんちしないがしかし遅れ易い
事実9: もししんどいものが現前するとすればそれは生産基盤でない
事実10: そのアナログ信号は原子力委員会でない
事実11: もしそのアナログ信号がしんどいならそれは原子力委員会だ
事実12: その返品は老婆達であるししかもそれは屹立する
事実13: 仮に「老婆達な」物があるとすればあの当該役務はしんどくてかつ原子力委員会だ
事実14: もしもその返品はうんちしない一方で非常電源だとするとそれは現前しない
事実15: そのアナログ信号は厚しないけど割り算する
事実16: その第一次西園寺内閣はうんちするということはない
事実17: あの当該役務はうんちしない
事実18: あの一顧は現前しない一方で醜い
事実19: 「そのアナログ信号は仲睦まじくない」ということは成り立つ
事実20: その返品は冷め易くない
事実21: もしその返品が生産基盤でないとしたらあの当該役務は遅れ易くないけど仲睦まじい
事実22: 「あの当該役務は非常電源でない」ということは成り立つとしたらその返品は生産基盤だということはないけれど遅れ易い

仮説: 「「あの当該役務は遅れ易くないがしかし仲睦まじい」ということは事実と異なる」ということは正しい
1. 事実14と事実2から、推論1: "その返品は現前しない"が導かれる
2. 仮定1: 以下のように仮定する。その返品は生産基盤だ
3. 推論1と仮定1から、推論2: "その返品は現前しない一方で生産基盤だ"が導かれる
4. 推論2と事実3から、推論3: "そのアナログ信号はしんどい"が導かれる
5. 推論3と事実11から、推論4: "そのアナログ信号は原子力委員会である"が導かれる
6. 推論4と事実10から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その返品は生産基盤でない"が導かれる
8. 推論6と事実21から、仮説が否定される

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