そのＰ／Ｓ比は海人族でないが崩れ掛ける
fact1: もしもこの終生が入れ易くないかもしくは焼き固めるかまたはどちらもであるとすればそのＰ／Ｓ比は海人族でない fact2: もしなにかは御勧め出来るしおまけに権勢症候群であるならばそれは崩れ掛ける fact3: もし仮になんらかの物は権勢症候群でないならそれは男らしくてそれに御勧め出来る fact4: もしも「この麺・イン・ブラックは男らしい」ということは本当であるならばこの終生は入れ易いかあるいはそれは焼き固める fact5: 仮にこの麺・イン・ブラックが男らしいとしたらこの終生は入れ易いということはないかもしくはそれは焼き固めるかどちらもである fact6: そのＰ／Ｓ比はリスク要素であるなら御勧め出来るがしかし権勢症候群でない fact7: この終生は入れ易いか焼き固めるかもしくは両方である fact8: 仮にとあるものは御勧め出来るがしかしリスク要素だということはないならばそれは入れ易い fact9: この麺・イン・ブラックは男らしい fact10: この終生が入れ易くないとするとそのＰ／Ｓ比は海人族でない fact11: 「この終生は署名・捺印しないけど権勢症候群である」ということは成り立つならこの麺・イン・ブラックは権勢症候群でない fact12: そのＰ／Ｓ比はリスク要素だ fact13: 仮にこの麺・イン・ブラックが男らしいししかも御勧め出来るならそのＰ／Ｓ比は男らしくない fact14: もし仮にそのＰ／Ｓ比は御勧め出来るし権勢症候群であるなら「それは崩れ掛ける」ということは成り立つ fact15: もしも「この終生は入れ易い」ということは成り立つとしたらそれはリスク要素だが海人族でない fact16: この大手量販店は親しくない一方で男らしい fact17: もし仮に「この終生は御勧め出来る」ということは確かだとするとそのＰ／Ｓ比は焼き固めないかリスク要素であるかあるいはどちらもである fact18: もし仮に何かは御勧め出来るけど権勢症候群であるということはないとすると崩れ掛ける fact19: 「仮に何かは男らしくないならば「海人族でないしさらに崩れ掛ける」ということは成り立つということはない」ということは成り立つ
fact5 & fact9 -> int1: この終生は入れ易くないかもしくはそれは焼き固めるかあるいはどちらもである; int1 & fact1 -> int2: そのＰ／Ｓ比は海人族でない; fact18 -> int3: もしそのＰ／Ｓ比は御勧め出来るけれど権勢症候群でないとするとそれは崩れ掛ける; fact6 & fact12 -> int4: そのＰ／Ｓ比は御勧め出来るがしかし権勢症候群でない; int3 & int4 -> int5: そのＰ／Ｓ比は崩れ掛ける; int2 & int5 -> hypothesis;
「そのＰ／Ｓ比は海人族でないけど崩れ掛ける」ということは事実と異なる
fact20 -> int6: そのＰ／Ｓ比は男らしくないならば「それは海人族でないし加えてそれは崩れ掛ける」ということは成り立たない; fact23 -> int7: もしこの麺・イン・ブラックは権勢症候群であるということはないとすれば男らしくてそれに御勧め出来る;
$facts$ = fact1: もしもこの終生が入れ易くないかもしくは焼き固めるかまたはどちらもであるとすればそのＰ／Ｓ比は海人族でない fact2: もしなにかは御勧め出来るしおまけに権勢症候群であるならばそれは崩れ掛ける fact3: もし仮になんらかの物は権勢症候群でないならそれは男らしくてそれに御勧め出来る fact4: もしも「この麺・イン・ブラックは男らしい」ということは本当であるならばこの終生は入れ易いかあるいはそれは焼き固める fact5: 仮にこの麺・イン・ブラックが男らしいとしたらこの終生は入れ易いということはないかもしくはそれは焼き固めるかどちらもである fact6: そのＰ／Ｓ比はリスク要素であるなら御勧め出来るがしかし権勢症候群でない fact7: この終生は入れ易いか焼き固めるかもしくは両方である fact8: 仮にとあるものは御勧め出来るがしかしリスク要素だということはないならばそれは入れ易い fact9: この麺・イン・ブラックは男らしい fact10: この終生が入れ易くないとするとそのＰ／Ｓ比は海人族でない fact11: 「この終生は署名・捺印しないけど権勢症候群である」ということは成り立つならこの麺・イン・ブラックは権勢症候群でない fact12: そのＰ／Ｓ比はリスク要素だ fact13: 仮にこの麺・イン・ブラックが男らしいししかも御勧め出来るならそのＰ／Ｓ比は男らしくない fact14: もし仮にそのＰ／Ｓ比は御勧め出来るし権勢症候群であるなら「それは崩れ掛ける」ということは成り立つ fact15: もしも「この終生は入れ易い」ということは成り立つとしたらそれはリスク要素だが海人族でない fact16: この大手量販店は親しくない一方で男らしい fact17: もし仮に「この終生は御勧め出来る」ということは確かだとするとそのＰ／Ｓ比は焼き固めないかリスク要素であるかあるいはどちらもである fact18: もし仮に何かは御勧め出来るけど権勢症候群であるということはないとすると崩れ掛ける fact19: 「仮に何かは男らしくないならば「海人族でないしさらに崩れ掛ける」ということは成り立つということはない」ということは成り立つ ; $hypothesis$ = そのＰ／Ｓ比は海人族でないが崩れ掛ける ; $proof$ = 
fact5 & fact9 -> int1: この終生は入れ易くないかもしくはそれは焼き固めるかあるいはどちらもである; int1 & fact1 -> int2: そのＰ／Ｓ比は海人族でない; fact18 -> int3: もしそのＰ／Ｓ比は御勧め出来るけれど権勢症候群でないとするとそれは崩れ掛ける; fact6 & fact12 -> int4: そのＰ／Ｓ比は御勧め出来るがしかし権勢症候群でない; int3 & int4 -> int5: そのＰ／Ｓ比は崩れ掛ける; int2 & int5 -> hypothesis; __PROVED__
事実1: もしもこの終生が入れ易くないかもしくは焼き固めるかまたはどちらもであるとすればそのＰ／Ｓ比は海人族でない
事実2: もしなにかは御勧め出来るしおまけに権勢症候群であるならばそれは崩れ掛ける
事実3: もし仮になんらかの物は権勢症候群でないならそれは男らしくてそれに御勧め出来る
事実4: もしも「この麺・イン・ブラックは男らしい」ということは本当であるならばこの終生は入れ易いかあるいはそれは焼き固める
事実5: 仮にこの麺・イン・ブラックが男らしいとしたらこの終生は入れ易いということはないかもしくはそれは焼き固めるかどちらもである
事実6: そのＰ／Ｓ比はリスク要素であるなら御勧め出来るがしかし権勢症候群でない
事実7: この終生は入れ易いか焼き固めるかもしくは両方である
事実8: 仮にとあるものは御勧め出来るがしかしリスク要素だということはないならばそれは入れ易い
事実9: この麺・イン・ブラックは男らしい
事実10: この終生が入れ易くないとするとそのＰ／Ｓ比は海人族でない
事実11: 「この終生は署名・捺印しないけど権勢症候群である」ということは成り立つならこの麺・イン・ブラックは権勢症候群でない
事実12: そのＰ／Ｓ比はリスク要素だ
事実13: 仮にこの麺・イン・ブラックが男らしいししかも御勧め出来るならそのＰ／Ｓ比は男らしくない
事実14: もし仮にそのＰ／Ｓ比は御勧め出来るし権勢症候群であるなら「それは崩れ掛ける」ということは成り立つ
事実15: もしも「この終生は入れ易い」ということは成り立つとしたらそれはリスク要素だが海人族でない
事実16: この大手量販店は親しくない一方で男らしい
事実17: もし仮に「この終生は御勧め出来る」ということは確かだとするとそのＰ／Ｓ比は焼き固めないかリスク要素であるかあるいはどちらもである
事実18: もし仮に何かは御勧め出来るけど権勢症候群であるということはないとすると崩れ掛ける
事実19: 「仮に何かは男らしくないならば「海人族でないしさらに崩れ掛ける」ということは成り立つということはない」ということは成り立つ

仮説: そのＰ／Ｓ比は海人族でないが崩れ掛ける
1. 事実5と事実9から、推論1: "この終生は入れ易くないかもしくはそれは焼き固めるかあるいはどちらもである"が導かれる
2. 推論1と事実1から、推論2: "そのＰ／Ｓ比は海人族でない"が導かれる
3. 事実18から、推論3: "もしそのＰ／Ｓ比は御勧め出来るけれど権勢症候群でないとするとそれは崩れ掛ける"が導かれる
4. 事実6と事実12から、推論4: "そのＰ／Ｓ比は御勧め出来るがしかし権勢症候群でない"が導かれる
5. 推論3と推論4から、推論5: "そのＰ／Ｓ比は崩れ掛ける"が導かれる
6. 推論2と推論5から、仮説が導かれる

よって、仮説が証明されました。