あの特務機関はうんざりしない
fact1: もしもこの三歳以上が育て易いとしたらあの特務機関は頑張り続ける fact2: あの完全版はうんざりしない fact3: もしも育て易いものが頑張り続けるとしたら意地悪くない fact4: もしもあの特務機関は育て易いならば「この三歳以上はうんざりする」ということは確かである fact5: この被センターオーバー車は古いしまた偏り過ぎる fact6: この宿泊客は耐性化するということはない fact7: あの物干しは育て易い fact8: もし仮にこの滲出物が敢え無いかもしくは倹約しないか両方ともだとすればあの三歳以上は敢え無くない fact9: もし仮にある物が偏り過ぎるしそれが耐性化すれば育て易くない fact10: もしも育て易い物がうんざりするということはないならば頑張り続ける fact11: もしもこの三歳以上が敢え無くないとするとそれは耐性化するししかも鈍る fact12: あの完全版は育て易い fact13: なんらかの物は数箇月後でおまけに未分化前駆細胞である fact14: この浄土宗が胸椎でないならばこの滲出物は敢え無いか倹約しないかあるいは両方である fact15: この被センターオーバー車が偏り過ぎればこの三歳以上は偏り過ぎる fact16: この三歳以上は育て易い fact17: あの特務機関は耐性化するということはない fact18: もしもなんらかの物が偏り過ぎないとすれば耐性化するしさらに申し立てする fact19: もしも数箇月後が未分化前駆細胞だとしたらこの三歳以上は頑張り続けない fact20: もし何らかのものは頑張り続けるが耐性化しないとすればそれはうんざりする
fact1 & fact16 -> int1: あの特務機関は頑張り続ける; int1 & fact17 -> int2: あの特務機関は頑張り続けるがしかし耐性化しない; fact20 -> int3: もしもあの特務機関は頑張り続けるけれど耐性化するということはないなら「うんざりする」ということは事実だ; int2 & int3 -> hypothesis;
fact1 & fact16 -> int1: {B}{b}; int1 & fact17 -> int2: ({B}{b} & ¬{C}{b}); fact20 -> int3: ({B}{b} & ¬{C}{b}) -> {D}{b}; int2 & int3 -> hypothesis;
「あの特務機関はうんざりしない」ということは成り立つ
fact21 -> int4: もしもこの三歳以上は偏り過ぎるし耐性化するとすれば育て易くない; fact26 -> int5: この被センターオーバー車は偏り過ぎる; fact23 & int5 -> int6: この三歳以上は偏り過ぎる; fact27 & fact22 -> int7: この三歳以上は頑張り続けない;
$facts$ = fact1: もしもこの三歳以上が育て易いとしたらあの特務機関は頑張り続ける fact2: あの完全版はうんざりしない fact3: もしも育て易いものが頑張り続けるとしたら意地悪くない fact4: もしもあの特務機関は育て易いならば「この三歳以上はうんざりする」ということは確かである fact5: この被センターオーバー車は古いしまた偏り過ぎる fact6: この宿泊客は耐性化するということはない fact7: あの物干しは育て易い fact8: もし仮にこの滲出物が敢え無いかもしくは倹約しないか両方ともだとすればあの三歳以上は敢え無くない fact9: もし仮にある物が偏り過ぎるしそれが耐性化すれば育て易くない fact10: もしも育て易い物がうんざりするということはないならば頑張り続ける fact11: もしもこの三歳以上が敢え無くないとするとそれは耐性化するししかも鈍る fact12: あの完全版は育て易い fact13: なんらかの物は数箇月後でおまけに未分化前駆細胞である fact14: この浄土宗が胸椎でないならばこの滲出物は敢え無いか倹約しないかあるいは両方である fact15: この被センターオーバー車が偏り過ぎればこの三歳以上は偏り過ぎる fact16: この三歳以上は育て易い fact17: あの特務機関は耐性化するということはない fact18: もしもなんらかの物が偏り過ぎないとすれば耐性化するしさらに申し立てする fact19: もしも数箇月後が未分化前駆細胞だとしたらこの三歳以上は頑張り続けない fact20: もし何らかのものは頑張り続けるが耐性化しないとすればそれはうんざりする ; $hypothesis$ = あの特務機関はうんざりしない ; $proof$ = 
fact1 & fact16 -> int1: あの特務機関は頑張り続ける; int1 & fact17 -> int2: あの特務機関は頑張り続けるがしかし耐性化しない; fact20 -> int3: もしもあの特務機関は頑張り続けるけれど耐性化するということはないなら「うんざりする」ということは事実だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもこの三歳以上が育て易いとしたらあの特務機関は頑張り続ける
事実2: あの完全版はうんざりしない
事実3: もしも育て易いものが頑張り続けるとしたら意地悪くない
事実4: もしもあの特務機関は育て易いならば「この三歳以上はうんざりする」ということは確かである
事実5: この被センターオーバー車は古いしまた偏り過ぎる
事実6: この宿泊客は耐性化するということはない
事実7: あの物干しは育て易い
事実8: もし仮にこの滲出物が敢え無いかもしくは倹約しないか両方ともだとすればあの三歳以上は敢え無くない
事実9: もし仮にある物が偏り過ぎるしそれが耐性化すれば育て易くない
事実10: もしも育て易い物がうんざりするということはないならば頑張り続ける
事実11: もしもこの三歳以上が敢え無くないとするとそれは耐性化するししかも鈍る
事実12: あの完全版は育て易い
事実13: なんらかの物は数箇月後でおまけに未分化前駆細胞である
事実14: この浄土宗が胸椎でないならばこの滲出物は敢え無いか倹約しないかあるいは両方である
事実15: この被センターオーバー車が偏り過ぎればこの三歳以上は偏り過ぎる
事実16: この三歳以上は育て易い
事実17: あの特務機関は耐性化するということはない
事実18: もしもなんらかの物が偏り過ぎないとすれば耐性化するしさらに申し立てする
事実19: もしも数箇月後が未分化前駆細胞だとしたらこの三歳以上は頑張り続けない
事実20: もし何らかのものは頑張り続けるが耐性化しないとすればそれはうんざりする

仮説: あの特務機関はうんざりしない
1. 事実1と事実16から、推論1: "あの特務機関は頑張り続ける"が導かれる
2. 推論1と事実17から、推論2: "あの特務機関は頑張り続けるがしかし耐性化しない"が導かれる
3. 事実20から、推論3: "もしもあの特務機関は頑張り続けるけれど耐性化するということはないなら「うんざりする」ということは事実だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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