「この本巻は自己コントロール出来る」ということは正しい
fact1: 仮にあの境界条件が丸っこいということはない一方でそれが決め難いとしたらオリジナル料理でない fact2: もしこの本巻は影響するとしたら「あの境界条件は自己コントロール出来る」ということは成り立つ fact3: もしなにかは自己コントロール出来ないかあるいはそれは伴い易くないかまたは両方ともであるなら自己コントロール出来ない fact4: その扁平母斑は影響する fact5: あの境界条件は全開する fact6: もし仮に「あの境界条件は自己コントロール出来る」ということは成り立てばこの本巻は影響する fact7: 「この本巻は影響する」ということは成り立つ fact8: もしあの境界条件が影響すればこの本巻は自己コントロール出来る fact9: もしもとあるものは吊り易くないかオリジナル料理であるかもしくは両方ともであるとしたらそれは吊り易くない fact10: この本巻はスウェットシャツだ fact11: 仮にあの境界条件が自己コントロール出来るならばあの本巻は王太子殿下だ fact12: 伴い易くないものは自己コントロール出来るし影響する fact13: もし仮にある物はオリジナル料理であるということはないとしたらそれは吊り易いかまたは影響しないかもしくはどちらもである fact14: あの境界条件は影響する
fact8 & fact14 -> hypothesis;
fact8 & fact14 -> hypothesis;
この本巻は自己コントロール出来ない
fact15 -> int1: もし仮にこの本巻が自己コントロール出来ないかあるいは伴い易くないとすれば「自己コントロール出来ない」ということは誤りでない; fact17 -> int2: もしあの境界条件がオリジナル料理でないとしたらそれは吊り易いかあるいはそれは影響するということはない;
$facts$ = fact1: 仮にあの境界条件が丸っこいということはない一方でそれが決め難いとしたらオリジナル料理でない fact2: もしこの本巻は影響するとしたら「あの境界条件は自己コントロール出来る」ということは成り立つ fact3: もしなにかは自己コントロール出来ないかあるいはそれは伴い易くないかまたは両方ともであるなら自己コントロール出来ない fact4: その扁平母斑は影響する fact5: あの境界条件は全開する fact6: もし仮に「あの境界条件は自己コントロール出来る」ということは成り立てばこの本巻は影響する fact7: 「この本巻は影響する」ということは成り立つ fact8: もしあの境界条件が影響すればこの本巻は自己コントロール出来る fact9: もしもとあるものは吊り易くないかオリジナル料理であるかもしくは両方ともであるとしたらそれは吊り易くない fact10: この本巻はスウェットシャツだ fact11: 仮にあの境界条件が自己コントロール出来るならばあの本巻は王太子殿下だ fact12: 伴い易くないものは自己コントロール出来るし影響する fact13: もし仮にある物はオリジナル料理であるということはないとしたらそれは吊り易いかまたは影響しないかもしくはどちらもである fact14: あの境界条件は影響する ; $hypothesis$ = 「この本巻は自己コントロール出来る」ということは正しい ; $proof$ = 
fact8 & fact14 -> hypothesis; __PROVED__
事実1: 仮にあの境界条件が丸っこいということはない一方でそれが決め難いとしたらオリジナル料理でない
事実2: もしこの本巻は影響するとしたら「あの境界条件は自己コントロール出来る」ということは成り立つ
事実3: もしなにかは自己コントロール出来ないかあるいはそれは伴い易くないかまたは両方ともであるなら自己コントロール出来ない
事実4: その扁平母斑は影響する
事実5: あの境界条件は全開する
事実6: もし仮に「あの境界条件は自己コントロール出来る」ということは成り立てばこの本巻は影響する
事実7: 「この本巻は影響する」ということは成り立つ
事実8: もしあの境界条件が影響すればこの本巻は自己コントロール出来る
事実9: もしもとあるものは吊り易くないかオリジナル料理であるかもしくは両方ともであるとしたらそれは吊り易くない
事実10: この本巻はスウェットシャツだ
事実11: 仮にあの境界条件が自己コントロール出来るならばあの本巻は王太子殿下だ
事実12: 伴い易くないものは自己コントロール出来るし影響する
事実13: もし仮にある物はオリジナル料理であるということはないとしたらそれは吊り易いかまたは影響しないかもしくはどちらもである
事実14: あの境界条件は影響する

仮説: 「この本巻は自己コントロール出来る」ということは正しい
1. 事実8と事実14から、仮説が導かれる

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