あの共鳴現象はハイキングする
fact1: 「あの共鳴現象はファックスするかまたはだらだらするかあるいは両方ともである」ということは偽だとすればそれはテールランプでない fact2: もしもあの共鳴現象は旨いならば「ファックスしない」ということは誤りでない fact3: もしあの線維束攣縮が受け難いならそれは苛める fact4: もし仮に「あの共鳴現象は旨い」ということは成り立つとしたら「ファックスするかまたは受け難くないか両方ともである」ということは成り立つということはない fact5: なんらかの物は旨くないなら「審判手続きであるかもしくは承継日であるということはないかまたは両方ともである」ということは事実と異なる fact6: あの共鳴現象は旨い fact7: あの共鳴現象は奇襲攻撃する fact8: あの共鳴現象はファックスしない fact9: もしも「あの共鳴現象は受け難いかもしくは戦い抜くかまたはどちらもである」ということは成り立たないとすると汲み上げない fact10: もし仮にこの裁量権は怖ーいならば「それは受け難い」ということは事実である fact11: もしも「なにかはファックスするかまたは受け難くないかあるいはどちらもである」ということは成り立つということはないとすればハイキングしない fact12: 仮になんらかのものは怖ーいとすれば「空箱でない」ということは成り立つ fact13: 仮に「この王治は発光であるけどそれは歌道でない」ということは偽であるとすると怖ーい fact14: あの乗り子は旨い fact15: 仮にこの王治が空箱でないとするとあの避難所はプロ野球界でないしかつ軟らかくない fact16: 「あの共鳴現象はじっとする」ということは確かだ fact17: もしも「その帳合いは上がれる」ということは成り立つならそれは旨い
fact11 -> int1: もしも「あの共鳴現象はファックスするかもしくは受け難くないかまたは両方である」ということは事実と異なればハイキングするということはない; fact4 & fact6 -> int2: 「あの共鳴現象はファックスするか受け難くないかあるいはどちらもである」ということは間違っている; int1 & int2 -> hypothesis;
fact11 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; fact4 & fact6 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
「あの共鳴現象は審判手続きであるかあるいは承継日でないか両方だ」ということは成り立たない
fact18 -> int3: もしあの共鳴現象は旨くないとすると「審判手続きであるかあるいは承継日でない」ということは嘘だ;
$facts$ = fact1: 「あの共鳴現象はファックスするかまたはだらだらするかあるいは両方ともである」ということは偽だとすればそれはテールランプでない fact2: もしもあの共鳴現象は旨いならば「ファックスしない」ということは誤りでない fact3: もしあの線維束攣縮が受け難いならそれは苛める fact4: もし仮に「あの共鳴現象は旨い」ということは成り立つとしたら「ファックスするかまたは受け難くないか両方ともである」ということは成り立つということはない fact5: なんらかの物は旨くないなら「審判手続きであるかもしくは承継日であるということはないかまたは両方ともである」ということは事実と異なる fact6: あの共鳴現象は旨い fact7: あの共鳴現象は奇襲攻撃する fact8: あの共鳴現象はファックスしない fact9: もしも「あの共鳴現象は受け難いかもしくは戦い抜くかまたはどちらもである」ということは成り立たないとすると汲み上げない fact10: もし仮にこの裁量権は怖ーいならば「それは受け難い」ということは事実である fact11: もしも「なにかはファックスするかまたは受け難くないかあるいはどちらもである」ということは成り立つということはないとすればハイキングしない fact12: 仮になんらかのものは怖ーいとすれば「空箱でない」ということは成り立つ fact13: 仮に「この王治は発光であるけどそれは歌道でない」ということは偽であるとすると怖ーい fact14: あの乗り子は旨い fact15: 仮にこの王治が空箱でないとするとあの避難所はプロ野球界でないしかつ軟らかくない fact16: 「あの共鳴現象はじっとする」ということは確かだ fact17: もしも「その帳合いは上がれる」ということは成り立つならそれは旨い ; $hypothesis$ = あの共鳴現象はハイキングする ; $proof$ = 
fact11 -> int1: もしも「あの共鳴現象はファックスするかもしくは受け難くないかまたは両方である」ということは事実と異なればハイキングするということはない; fact4 & fact6 -> int2: 「あの共鳴現象はファックスするか受け難くないかあるいはどちらもである」ということは間違っている; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「あの共鳴現象はファックスするかまたはだらだらするかあるいは両方ともである」ということは偽だとすればそれはテールランプでない
事実2: もしもあの共鳴現象は旨いならば「ファックスしない」ということは誤りでない
事実3: もしあの線維束攣縮が受け難いならそれは苛める
事実4: もし仮に「あの共鳴現象は旨い」ということは成り立つとしたら「ファックスするかまたは受け難くないか両方ともである」ということは成り立つということはない
事実5: なんらかの物は旨くないなら「審判手続きであるかもしくは承継日であるということはないかまたは両方ともである」ということは事実と異なる
事実6: あの共鳴現象は旨い
事実7: あの共鳴現象は奇襲攻撃する
事実8: あの共鳴現象はファックスしない
事実9: もしも「あの共鳴現象は受け難いかもしくは戦い抜くかまたはどちらもである」ということは成り立たないとすると汲み上げない
事実10: もし仮にこの裁量権は怖ーいならば「それは受け難い」ということは事実である
事実11: もしも「なにかはファックスするかまたは受け難くないかあるいはどちらもである」ということは成り立つということはないとすればハイキングしない
事実12: 仮になんらかのものは怖ーいとすれば「空箱でない」ということは成り立つ
事実13: 仮に「この王治は発光であるけどそれは歌道でない」ということは偽であるとすると怖ーい
事実14: あの乗り子は旨い
事実15: 仮にこの王治が空箱でないとするとあの避難所はプロ野球界でないしかつ軟らかくない
事実16: 「あの共鳴現象はじっとする」ということは確かだ
事実17: もしも「その帳合いは上がれる」ということは成り立つならそれは旨い

仮説: あの共鳴現象はハイキングする
1. 事実11から、推論1: "もしも「あの共鳴現象はファックスするかもしくは受け難くないかまたは両方である」ということは事実と異なればハイキングするということはない"が導かれる
2. 事実4と事実6から、推論2: "「あの共鳴現象はファックスするか受け難くないかあるいはどちらもである」ということは間違っている"が導かれる
3. 推論1と推論2から、仮説が否定される

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