その創傷部は演ずる
fact1: その癌多発家系が如何わしくない一方でそれが犯人扱いするならばあの鯉幟は犯人扱いするということはない fact2: もし「「なにかは教育法であるし規定す」ということは間違いでない」ということは成り立たないとしたら統裁しない fact3: その歩調は演ずる fact4: 仮にあの御土居が統裁しないならばその癌多発家系はプロテクションであるしまた呪わしい fact5: 「その実験群被験者は忙しくなくて膜厚Ｔでない」ということは誤りだ fact6: 仮にあの鯉幟は犯人扱いしないなら「その創傷部はどきどきするし専門的技能だ」ということは嘘である fact7: あの鯉幟は専門的技能である fact8: あの鯉幟は専門的技能であるしかつどきどきする fact9: もしとあるものがどきどきすれば犯人扱いする fact10: プロテクションは如何わしくない一方で犯人扱いする fact11: もしもあの鯉幟が犯人扱いするとしたらその創傷部は演ずる fact12: もし仮に「なんらかの物はどきどきするし専門的技能である」ということは誤りであるなら演ぜない fact13: 仮に「とあるものは忙しくないしまたそれは膜厚Ｔでない」ということは事実でないならば膜厚Ｔだ
fact8 -> int1: あの鯉幟はどきどきする; fact9 -> int2: もしもあの鯉幟がどきどきするとすれば犯人扱いする; int1 & int2 -> int3: 「あの鯉幟は犯人扱いする」ということは事実である; int3 & fact11 -> hypothesis;
fact8 -> int1: {B}{a}; fact9 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact11 -> hypothesis;
「その創傷部は演ずるということはない」ということは偽でない
fact16 -> int4: 仮に「その創傷部はどきどきするし専門的技能である」ということは成り立たないならそれは演ぜない; fact14 -> int5: その癌多発家系がプロテクションならばそれは如何わしくないが犯人扱いする; fact18 -> int6: 「「あの御土居は教育法で規定す」ということは偽である」ということは成り立つとすれば統裁しない; fact17 -> int7: もし仮に「「その実験群被験者は忙しいということはなくて膜厚Ｔであるということはない」ということは成り立たない」ということは成り立つとしたらそれは膜厚Ｔである; int7 & fact20 -> int8: 「その実験群被験者は膜厚Ｔである」ということは確かである; int8 -> int9: 何らかの物は膜厚Ｔだ;
$facts$ = fact1: その癌多発家系が如何わしくない一方でそれが犯人扱いするならばあの鯉幟は犯人扱いするということはない fact2: もし「「なにかは教育法であるし規定す」ということは間違いでない」ということは成り立たないとしたら統裁しない fact3: その歩調は演ずる fact4: 仮にあの御土居が統裁しないならばその癌多発家系はプロテクションであるしまた呪わしい fact5: 「その実験群被験者は忙しくなくて膜厚Ｔでない」ということは誤りだ fact6: 仮にあの鯉幟は犯人扱いしないなら「その創傷部はどきどきするし専門的技能だ」ということは嘘である fact7: あの鯉幟は専門的技能である fact8: あの鯉幟は専門的技能であるしかつどきどきする fact9: もしとあるものがどきどきすれば犯人扱いする fact10: プロテクションは如何わしくない一方で犯人扱いする fact11: もしもあの鯉幟が犯人扱いするとしたらその創傷部は演ずる fact12: もし仮に「なんらかの物はどきどきするし専門的技能である」ということは誤りであるなら演ぜない fact13: 仮に「とあるものは忙しくないしまたそれは膜厚Ｔでない」ということは事実でないならば膜厚Ｔだ ; $hypothesis$ = その創傷部は演ずる ; $proof$ = 
fact8 -> int1: あの鯉幟はどきどきする; fact9 -> int2: もしもあの鯉幟がどきどきするとすれば犯人扱いする; int1 & int2 -> int3: 「あの鯉幟は犯人扱いする」ということは事実である; int3 & fact11 -> hypothesis; __PROVED__
事実1: その癌多発家系が如何わしくない一方でそれが犯人扱いするならばあの鯉幟は犯人扱いするということはない
事実2: もし「「なにかは教育法であるし規定す」ということは間違いでない」ということは成り立たないとしたら統裁しない
事実3: その歩調は演ずる
事実4: 仮にあの御土居が統裁しないならばその癌多発家系はプロテクションであるしまた呪わしい
事実5: 「その実験群被験者は忙しくなくて膜厚Ｔでない」ということは誤りだ
事実6: 仮にあの鯉幟は犯人扱いしないなら「その創傷部はどきどきするし専門的技能だ」ということは嘘である
事実7: あの鯉幟は専門的技能である
事実8: あの鯉幟は専門的技能であるしかつどきどきする
事実9: もしとあるものがどきどきすれば犯人扱いする
事実10: プロテクションは如何わしくない一方で犯人扱いする
事実11: もしもあの鯉幟が犯人扱いするとしたらその創傷部は演ずる
事実12: もし仮に「なんらかの物はどきどきするし専門的技能である」ということは誤りであるなら演ぜない
事実13: 仮に「とあるものは忙しくないしまたそれは膜厚Ｔでない」ということは事実でないならば膜厚Ｔだ

仮説: その創傷部は演ずる
1. 事実8から、推論1: "あの鯉幟はどきどきする"が導かれる
2. 事実9から、推論2: "もしもあの鯉幟がどきどきするとすれば犯人扱いする"が導かれる
3. 推論1と推論2から、推論3: "「あの鯉幟は犯人扱いする」ということは事実である"が導かれる
4. 推論3と事実11から、仮説が導かれる

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