その帰順は崩れ掛ける
fact1: もし仮に「とある物はＣＥＲでないがしかし尾翼である」ということは成り立つなら崩れ掛ける fact2: もし仮にとある物が早世しないならそれはＣＥＲでないがしかし尾翼である fact3: 「あの体制改革は見分け難いがしかし取り出し易くない」ということは偽だ fact4: なにかは屁っ放り腰であるなら「突出部でない」ということは成り立たない fact5: 仮にとあるものは突出部であるとしたら「早世するしそれは嘆かわしくない」ということは成り立たない fact6: もしこの良尊禅師は尾翼でないとしたら「その帰順はＣＥＲでないしそれにそれは早世しない」ということは嘘である fact7: もし「あの唐薬は早世するけど嘆かわしくない」ということは成り立たないとすればその帰順は早世しない fact8: この良尊禅師は早世しない fact9: 民百姓は働き盛りであるかまたは屁っ放り腰であるということはないかどちらもである fact10: もしこの良尊禅師が早世しないならばあの唐薬はＣＥＲであるということはない fact11: その帰順は早世する fact12: もしも「あの体制改革は見分け難い物で取り出し易くない」ということは間違っているとすれば民百姓である fact13: この良尊禅師は屁っ放り腰だとしたら「あの唐薬は屁っ放り腰だ」ということは嘘でない fact14: もしもあの唐薬が尾翼でないならその帰順は崩れ掛けない fact15: もしもあの唐薬が尾翼だとすればＣＥＲだ
void -> assump1: 以下のように仮定する。あの唐薬は尾翼である; fact15 & assump1 -> int1: あの唐薬はＣＥＲである; fact8 & fact10 -> int2: あの唐薬はＣＥＲでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの唐薬は尾翼でない; int4 & fact14 -> hypothesis;
あの唐薬は早世する
$facts$ = fact1: もし仮に「とある物はＣＥＲでないがしかし尾翼である」ということは成り立つなら崩れ掛ける fact2: もし仮にとある物が早世しないならそれはＣＥＲでないがしかし尾翼である fact3: 「あの体制改革は見分け難いがしかし取り出し易くない」ということは偽だ fact4: なにかは屁っ放り腰であるなら「突出部でない」ということは成り立たない fact5: 仮にとあるものは突出部であるとしたら「早世するしそれは嘆かわしくない」ということは成り立たない fact6: もしこの良尊禅師は尾翼でないとしたら「その帰順はＣＥＲでないしそれにそれは早世しない」ということは嘘である fact7: もし「あの唐薬は早世するけど嘆かわしくない」ということは成り立たないとすればその帰順は早世しない fact8: この良尊禅師は早世しない fact9: 民百姓は働き盛りであるかまたは屁っ放り腰であるということはないかどちらもである fact10: もしこの良尊禅師が早世しないならばあの唐薬はＣＥＲであるということはない fact11: その帰順は早世する fact12: もしも「あの体制改革は見分け難い物で取り出し易くない」ということは間違っているとすれば民百姓である fact13: この良尊禅師は屁っ放り腰だとしたら「あの唐薬は屁っ放り腰だ」ということは嘘でない fact14: もしもあの唐薬が尾翼でないならその帰順は崩れ掛けない fact15: もしもあの唐薬が尾翼だとすればＣＥＲだ ; $hypothesis$ = その帰順は崩れ掛ける ; $proof$ = 
void -> assump1: 以下のように仮定する。あの唐薬は尾翼である; fact15 & assump1 -> int1: あの唐薬はＣＥＲである; fact8 & fact10 -> int2: あの唐薬はＣＥＲでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの唐薬は尾翼でない; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮に「とある物はＣＥＲでないがしかし尾翼である」ということは成り立つなら崩れ掛ける
事実2: もし仮にとある物が早世しないならそれはＣＥＲでないがしかし尾翼である
事実3: 「あの体制改革は見分け難いがしかし取り出し易くない」ということは偽だ
事実4: なにかは屁っ放り腰であるなら「突出部でない」ということは成り立たない
事実5: 仮にとあるものは突出部であるとしたら「早世するしそれは嘆かわしくない」ということは成り立たない
事実6: もしこの良尊禅師は尾翼でないとしたら「その帰順はＣＥＲでないしそれにそれは早世しない」ということは嘘である
事実7: もし「あの唐薬は早世するけど嘆かわしくない」ということは成り立たないとすればその帰順は早世しない
事実8: この良尊禅師は早世しない
事実9: 民百姓は働き盛りであるかまたは屁っ放り腰であるということはないかどちらもである
事実10: もしこの良尊禅師が早世しないならばあの唐薬はＣＥＲであるということはない
事実11: その帰順は早世する
事実12: もしも「あの体制改革は見分け難い物で取り出し易くない」ということは間違っているとすれば民百姓である
事実13: この良尊禅師は屁っ放り腰だとしたら「あの唐薬は屁っ放り腰だ」ということは嘘でない
事実14: もしもあの唐薬が尾翼でないならその帰順は崩れ掛けない
事実15: もしもあの唐薬が尾翼だとすればＣＥＲだ

仮説: その帰順は崩れ掛ける
1. 仮定1: 以下のように仮定する。あの唐薬は尾翼である
2. 事実15と仮定1から、推論1: "あの唐薬はＣＥＲである"が導かれる
3. 事実8と事実10から、推論2: "あの唐薬はＣＥＲでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの唐薬は尾翼でない"が導かれる
6. 推論4と事実14から、仮説が否定される

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