「あの現代哲学は集め始めるししかもそれはダイブショップである」ということは誤りだ
fact1: 「あの現代哲学は右傾化しないしそれはダイブショップでない」ということは誤っている fact2: すべては取れ易いかあるいはそれは初年兵であるか両方ともだ fact3: 仮にあの御伺いが初年兵ならあの現代哲学は集め始める fact4: もし仮に「とあるものは右傾化しなくて更にダイブショップでない」ということは偽であるならダイブショップだ fact5: 仮にあの御伺いが取れ易いならあの現代哲学は集め始める
fact2 -> int1: あの御伺いは取れ易いかあるいは初年兵である; int1 & fact5 & fact3 -> int2: あの現代哲学は集め始める; fact4 -> int3: もし「あの現代哲学は右傾化しないしそれはダイブショップでない」ということは間違っているとしたらダイブショップである; int3 & fact1 -> int4: あの現代哲学はダイブショップだ; int2 & int4 -> hypothesis;
$facts$ = fact1: 「あの現代哲学は右傾化しないしそれはダイブショップでない」ということは誤っている fact2: すべては取れ易いかあるいはそれは初年兵であるか両方ともだ fact3: 仮にあの御伺いが初年兵ならあの現代哲学は集め始める fact4: もし仮に「とあるものは右傾化しなくて更にダイブショップでない」ということは偽であるならダイブショップだ fact5: 仮にあの御伺いが取れ易いならあの現代哲学は集め始める ; $hypothesis$ = 「あの現代哲学は集め始めるししかもそれはダイブショップである」ということは誤りだ ; $proof$ = 
fact2 -> int1: あの御伺いは取れ易いかあるいは初年兵である; int1 & fact5 & fact3 -> int2: あの現代哲学は集め始める; fact4 -> int3: もし「あの現代哲学は右傾化しないしそれはダイブショップでない」ということは間違っているとしたらダイブショップである; int3 & fact1 -> int4: あの現代哲学はダイブショップだ; int2 & int4 -> hypothesis; __DISPROVED__
事実1: 「あの現代哲学は右傾化しないしそれはダイブショップでない」ということは誤っている
事実2: すべては取れ易いかあるいはそれは初年兵であるか両方ともだ
事実3: 仮にあの御伺いが初年兵ならあの現代哲学は集め始める
事実4: もし仮に「とあるものは右傾化しなくて更にダイブショップでない」ということは偽であるならダイブショップだ
事実5: 仮にあの御伺いが取れ易いならあの現代哲学は集め始める

仮説: 「あの現代哲学は集め始めるししかもそれはダイブショップである」ということは誤りだ
1. 事実2から、推論1: "あの御伺いは取れ易いかあるいは初年兵である"が導かれる
2. 推論1と事実5と事実3から、推論2: "あの現代哲学は集め始める"が導かれる
3. 事実4から、推論3: "もし「あの現代哲学は右傾化しないしそれはダイブショップでない」ということは間違っているとしたらダイブショップである"が導かれる
4. 推論3と事実1から、推論4: "あの現代哲学はダイブショップだ"が導かれる
5. 推論2と推論4から、仮説が否定される

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