あの直談判は浄化しないかもしくはＤＮＡ量であるかまたは両方ともだ
fact1: もしもあの落第者は中央情報部だとすれば「あの直談判は湿度等であるということはないかもしくはそれはざわめき立つかあるいは両方である」ということは嘘である fact2: もしも「「夏服でおまけに長拍化しない」ということは偽である」物があるならばあの落第者は中央情報部でない fact3: もし仮に何かは冷え易いなら「中央情報部だしその上それは進み易くない」ということは間違っている fact4: あの直談判は現存利益であるということはない fact5: あの落第者が中央情報部でないならあの直談判は浄化する fact6: あの直談判は二百五十六メガバイト以上であるということはない fact7: 「「夏服であるし長拍化しない」ということは成り立たない」ものはある fact8: 「なにかはＤＮＡ量で中央情報部でない」ということは間違っていない fact9: すべての物は男の子らしくない fact10: 「「ＤＮＡ量であるしおまけに中央情報部である」ということは成り立たない」ものはある fact11: もし仮に何らかの物がデザイン提案書でないならばそれは男の子らしいということはないしそれは日本軍政時代であるということはない fact12: 仮に男の子らしくない物は日本軍政時代でないならばそれは冷え易い fact13: あの落第者は浄化しない fact14: 「なにがしかのものは男の子らしくない」ということは成り立てば冷え易いし日本軍政時代だ fact15: もしこの中火が心安いということはないならあの落第者はデザイン提案書でない fact16: もしあの落第者は中央情報部でないとしたら「あの直談判は浄化しないかまたはＤＮＡ量であるかまたはどちらもである」ということは本当でない fact17: もし仮に「冷え易い」ものがあるとするとこの中火は進み易いということはない fact18: この中火は心安くないかあるいはそれはミステリー作家であるということはない
fact7 & fact2 -> int1: あの落第者は中央情報部でない; int1 & fact16 -> hypothesis;
fact7 & fact2 -> int1: ¬{A}{a}; int1 & fact16 -> hypothesis;
「あの直談判は湿度等でないかあるいはざわめき立つかまたは両方である」ということは成り立つということはない
fact21 -> int2: もしその溶断が男の子らしくないとしたら冷え易くてそれに日本軍政時代だ; fact19 -> int3: 「その溶断は男の子らしくない」ということは嘘でない; int2 & int3 -> int4: その溶断は冷え易いしそれは日本軍政時代である; int4 -> int5: 「全ての物は冷え易くて加えて日本軍政時代である」ということは成り立つ; int5 -> int6: この検察権は冷え易くてさらに日本軍政時代である; int6 -> int7: この検察権は冷え易い; int7 -> int8: 冷え易いものはある; int8 & fact20 -> int9: この中火は進み易くない;
$facts$ = fact1: もしもあの落第者は中央情報部だとすれば「あの直談判は湿度等であるということはないかもしくはそれはざわめき立つかあるいは両方である」ということは嘘である fact2: もしも「「夏服でおまけに長拍化しない」ということは偽である」物があるならばあの落第者は中央情報部でない fact3: もし仮に何かは冷え易いなら「中央情報部だしその上それは進み易くない」ということは間違っている fact4: あの直談判は現存利益であるということはない fact5: あの落第者が中央情報部でないならあの直談判は浄化する fact6: あの直談判は二百五十六メガバイト以上であるということはない fact7: 「「夏服であるし長拍化しない」ということは成り立たない」ものはある fact8: 「なにかはＤＮＡ量で中央情報部でない」ということは間違っていない fact9: すべての物は男の子らしくない fact10: 「「ＤＮＡ量であるしおまけに中央情報部である」ということは成り立たない」ものはある fact11: もし仮に何らかの物がデザイン提案書でないならばそれは男の子らしいということはないしそれは日本軍政時代であるということはない fact12: 仮に男の子らしくない物は日本軍政時代でないならばそれは冷え易い fact13: あの落第者は浄化しない fact14: 「なにがしかのものは男の子らしくない」ということは成り立てば冷え易いし日本軍政時代だ fact15: もしこの中火が心安いということはないならあの落第者はデザイン提案書でない fact16: もしあの落第者は中央情報部でないとしたら「あの直談判は浄化しないかまたはＤＮＡ量であるかまたはどちらもである」ということは本当でない fact17: もし仮に「冷え易い」ものがあるとするとこの中火は進み易いということはない fact18: この中火は心安くないかあるいはそれはミステリー作家であるということはない ; $hypothesis$ = あの直談判は浄化しないかもしくはＤＮＡ量であるかまたは両方ともだ ; $proof$ = 
fact7 & fact2 -> int1: あの落第者は中央情報部でない; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: もしもあの落第者は中央情報部だとすれば「あの直談判は湿度等であるということはないかもしくはそれはざわめき立つかあるいは両方である」ということは嘘である
事実2: もしも「「夏服でおまけに長拍化しない」ということは偽である」物があるならばあの落第者は中央情報部でない
事実3: もし仮に何かは冷え易いなら「中央情報部だしその上それは進み易くない」ということは間違っている
事実4: あの直談判は現存利益であるということはない
事実5: あの落第者が中央情報部でないならあの直談判は浄化する
事実6: あの直談判は二百五十六メガバイト以上であるということはない
事実7: 「「夏服であるし長拍化しない」ということは成り立たない」ものはある
事実8: 「なにかはＤＮＡ量で中央情報部でない」ということは間違っていない
事実9: すべての物は男の子らしくない
事実10: 「「ＤＮＡ量であるしおまけに中央情報部である」ということは成り立たない」ものはある
事実11: もし仮に何らかの物がデザイン提案書でないならばそれは男の子らしいということはないしそれは日本軍政時代であるということはない
事実12: 仮に男の子らしくない物は日本軍政時代でないならばそれは冷え易い
事実13: あの落第者は浄化しない
事実14: 「なにがしかのものは男の子らしくない」ということは成り立てば冷え易いし日本軍政時代だ
事実15: もしこの中火が心安いということはないならあの落第者はデザイン提案書でない
事実16: もしあの落第者は中央情報部でないとしたら「あの直談判は浄化しないかまたはＤＮＡ量であるかまたはどちらもである」ということは本当でない
事実17: もし仮に「冷え易い」ものがあるとするとこの中火は進み易いということはない
事実18: この中火は心安くないかあるいはそれはミステリー作家であるということはない

仮説: あの直談判は浄化しないかもしくはＤＮＡ量であるかまたは両方ともだ
1. 事実7と事実2から、推論1: "あの落第者は中央情報部でない"が導かれる
2. 推論1と事実16から、仮説が否定される

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