あの展開上は御止し為さる
fact1: この惨殺は伝え難い fact2: 守り易い物はかっ飛ばす fact3: この自己活動は貧乏臭い fact4: もしある物は描き易いしそれにギブアップするとしたら「あの展開上は御止し為さる」ということは成り立つ fact5: もし何らかの物が深部腱反射だとしたらそれは守り易い fact6: 「もしこの惨殺がかっ飛ばすならあの展開上はかっ飛ばす」ということは本当である fact7: この惨殺は深部腱反射で伝え難い fact8: もしこのスクーリングが計量化しないとすればあの蜥蜴男はギブアップする fact9: もしもこの自己活動が描き易いならばこの蜥蜴男は描き易い fact10: もしもなにかは守り易くて加えて伝え難いとしたらこの惨殺は深部腱反射だ fact11: この自己活動は深部腱反射である fact12: 「描き易い」ものはある fact13: この惨殺は齧り付く fact14: このスクーリングは描き易いしその上八刑集だ fact15: もし仮に「このスクーリングは計量化する一方で齧り付かない」ということは間違っているとするとこの蜥蜴男はギブアップする fact16: この蜥蜴男は伝え難い fact17: もしこの惨殺はかっ飛ばせば「このスクーリングは計量化する一方で齧り付かない」ということは嘘だ fact18: この自己活動は守り易い fact19: この自己活動は描き易い fact20: 「この自己活動は計量化する」ということは成り立つ fact21: 何らかのものはギブアップする
fact7 -> int1: この惨殺は深部腱反射である; fact5 -> int2: この惨殺は深部腱反射であるとすると守り易い; int1 & int2 -> int3: この惨殺は守り易い; fact2 -> int4: もし仮にこの惨殺が守り易いとするとかっ飛ばす; int3 & int4 -> int5: この惨殺はかっ飛ばす; int5 & fact17 -> int6: 「このスクーリングは計量化する一方でそれは齧り付かない」ということは成り立つということはない; int6 & fact15 -> int7: この蜥蜴男はギブアップする; fact19 & fact9 -> int8: この蜥蜴男は描き易い; int7 & int8 -> int9: この蜥蜴男は描き易いししかもギブアップする; int9 -> int10: あるものは描き易いしまたギブアップする; int10 & fact4 -> hypothesis;
$facts$ = fact1: この惨殺は伝え難い fact2: 守り易い物はかっ飛ばす fact3: この自己活動は貧乏臭い fact4: もしある物は描き易いしそれにギブアップするとしたら「あの展開上は御止し為さる」ということは成り立つ fact5: もし何らかの物が深部腱反射だとしたらそれは守り易い fact6: 「もしこの惨殺がかっ飛ばすならあの展開上はかっ飛ばす」ということは本当である fact7: この惨殺は深部腱反射で伝え難い fact8: もしこのスクーリングが計量化しないとすればあの蜥蜴男はギブアップする fact9: もしもこの自己活動が描き易いならばこの蜥蜴男は描き易い fact10: もしもなにかは守り易くて加えて伝え難いとしたらこの惨殺は深部腱反射だ fact11: この自己活動は深部腱反射である fact12: 「描き易い」ものはある fact13: この惨殺は齧り付く fact14: このスクーリングは描き易いしその上八刑集だ fact15: もし仮に「このスクーリングは計量化する一方で齧り付かない」ということは間違っているとするとこの蜥蜴男はギブアップする fact16: この蜥蜴男は伝え難い fact17: もしこの惨殺はかっ飛ばせば「このスクーリングは計量化する一方で齧り付かない」ということは嘘だ fact18: この自己活動は守り易い fact19: この自己活動は描き易い fact20: 「この自己活動は計量化する」ということは成り立つ fact21: 何らかのものはギブアップする ; $hypothesis$ = あの展開上は御止し為さる ; $proof$ = 
fact7 -> int1: この惨殺は深部腱反射である; fact5 -> int2: この惨殺は深部腱反射であるとすると守り易い; int1 & int2 -> int3: この惨殺は守り易い; fact2 -> int4: もし仮にこの惨殺が守り易いとするとかっ飛ばす; int3 & int4 -> int5: この惨殺はかっ飛ばす; int5 & fact17 -> int6: 「このスクーリングは計量化する一方でそれは齧り付かない」ということは成り立つということはない; int6 & fact15 -> int7: この蜥蜴男はギブアップする; fact19 & fact9 -> int8: この蜥蜴男は描き易い; int7 & int8 -> int9: この蜥蜴男は描き易いししかもギブアップする; int9 -> int10: あるものは描き易いしまたギブアップする; int10 & fact4 -> hypothesis; __PROVED__
事実1: この惨殺は伝え難い
事実2: 守り易い物はかっ飛ばす
事実3: この自己活動は貧乏臭い
事実4: もしある物は描き易いしそれにギブアップするとしたら「あの展開上は御止し為さる」ということは成り立つ
事実5: もし何らかの物が深部腱反射だとしたらそれは守り易い
事実6: 「もしこの惨殺がかっ飛ばすならあの展開上はかっ飛ばす」ということは本当である
事実7: この惨殺は深部腱反射で伝え難い
事実8: もしこのスクーリングが計量化しないとすればあの蜥蜴男はギブアップする
事実9: もしもこの自己活動が描き易いならばこの蜥蜴男は描き易い
事実10: もしもなにかは守り易くて加えて伝え難いとしたらこの惨殺は深部腱反射だ
事実11: この自己活動は深部腱反射である
事実12: 「描き易い」ものはある
事実13: この惨殺は齧り付く
事実14: このスクーリングは描き易いしその上八刑集だ
事実15: もし仮に「このスクーリングは計量化する一方で齧り付かない」ということは間違っているとするとこの蜥蜴男はギブアップする
事実16: この蜥蜴男は伝え難い
事実17: もしこの惨殺はかっ飛ばせば「このスクーリングは計量化する一方で齧り付かない」ということは嘘だ
事実18: この自己活動は守り易い
事実19: この自己活動は描き易い
事実20: 「この自己活動は計量化する」ということは成り立つ
事実21: 何らかのものはギブアップする

仮説: あの展開上は御止し為さる
1. 事実7から、推論1: "この惨殺は深部腱反射である"が導かれる
2. 事実5から、推論2: "この惨殺は深部腱反射であるとすると守り易い"が導かれる
3. 推論1と推論2から、推論3: "この惨殺は守り易い"が導かれる
4. 事実2から、推論4: "もし仮にこの惨殺が守り易いとするとかっ飛ばす"が導かれる
5. 推論3と推論4から、推論5: "この惨殺はかっ飛ばす"が導かれる
6. 推論5と事実17から、推論6: "「このスクーリングは計量化する一方でそれは齧り付かない」ということは成り立つということはない"が導かれる
7. 推論6と事実15から、推論7: "この蜥蜴男はギブアップする"が導かれる
8. 事実19と事実9から、推論8: "この蜥蜴男は描き易い"が導かれる
9. 推論7と推論8から、推論9: "この蜥蜴男は描き易いししかもギブアップする"が導かれる
10. 推論9から、推論10: "あるものは描き易いしまたギブアップする"が導かれる
11. 推論10と事実4から、仮説が導かれる

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