「仮に外し易くないならば口さがないし外化するということはない」物はある
fact1: もし何らかの物が支給基準でないならば踏み迷うし更に有り方でない fact2: この大阪周辺が満州国皇帝でないとしたらそれは遠回りするし加えてだだっ広くない fact3: 「もし仮に外し易くないとしたら口さがない」ものはある fact4: もし仮にあの新現実主義は外し易くないとすると「それは外化しない」ということは成り立つ fact5: 「もし仮に外し易くないとしたら外化しない」ものはある fact6: もしもあの新現実主義が外し易いとしたらそれは口さがないがしかし外化するということはない fact7: 「もし仮に外し易くないとすると口さがないししかも外化する」物はある fact8: 「もし外し易いなら口さがないけれど外化しない」物はある fact9: 「仮に文字配列でないとすると戦ぐがしかしプロデュースしない」物はある fact10: 「「五十パーセント以下でない」ということは事実であるとすれば住み良くておまけに諸言語でない」物はある fact11: もしもあの新現実主義がシーケンス制御でないとするとそれは睡眠不足であるし底深くない fact12: 「仮に企画部長でないとすれば八種類だけど痒くない」ものはある fact13: 外し易くない物は口さがない一方で外化しない fact14: 外し易いものは口さがない一方で外化しない
fact13 -> int1: 仮にあの新現実主義が外し易くないとしたら口さはなくて外化しない; int1 -> hypothesis;
$facts$ = fact1: もし何らかの物が支給基準でないならば踏み迷うし更に有り方でない fact2: この大阪周辺が満州国皇帝でないとしたらそれは遠回りするし加えてだだっ広くない fact3: 「もし仮に外し易くないとしたら口さがない」ものはある fact4: もし仮にあの新現実主義は外し易くないとすると「それは外化しない」ということは成り立つ fact5: 「もし仮に外し易くないとしたら外化しない」ものはある fact6: もしもあの新現実主義が外し易いとしたらそれは口さがないがしかし外化するということはない fact7: 「もし仮に外し易くないとすると口さがないししかも外化する」物はある fact8: 「もし外し易いなら口さがないけれど外化しない」物はある fact9: 「仮に文字配列でないとすると戦ぐがしかしプロデュースしない」物はある fact10: 「「五十パーセント以下でない」ということは事実であるとすれば住み良くておまけに諸言語でない」物はある fact11: もしもあの新現実主義がシーケンス制御でないとするとそれは睡眠不足であるし底深くない fact12: 「仮に企画部長でないとすれば八種類だけど痒くない」ものはある fact13: 外し易くない物は口さがない一方で外化しない fact14: 外し易いものは口さがない一方で外化しない ; $hypothesis$ = 「仮に外し易くないならば口さがないし外化するということはない」物はある ; $proof$ = 
fact13 -> int1: 仮にあの新現実主義が外し易くないとしたら口さはなくて外化しない; int1 -> hypothesis; __PROVED__
事実1: もし何らかの物が支給基準でないならば踏み迷うし更に有り方でない
事実2: この大阪周辺が満州国皇帝でないとしたらそれは遠回りするし加えてだだっ広くない
事実3: 「もし仮に外し易くないとしたら口さがない」ものはある
事実4: もし仮にあの新現実主義は外し易くないとすると「それは外化しない」ということは成り立つ
事実5: 「もし仮に外し易くないとしたら外化しない」ものはある
事実6: もしもあの新現実主義が外し易いとしたらそれは口さがないがしかし外化するということはない
事実7: 「もし仮に外し易くないとすると口さがないししかも外化する」物はある
事実8: 「もし外し易いなら口さがないけれど外化しない」物はある
事実9: 「仮に文字配列でないとすると戦ぐがしかしプロデュースしない」物はある
事実10: 「「五十パーセント以下でない」ということは事実であるとすれば住み良くておまけに諸言語でない」物はある
事実11: もしもあの新現実主義がシーケンス制御でないとするとそれは睡眠不足であるし底深くない
事実12: 「仮に企画部長でないとすれば八種類だけど痒くない」ものはある
事実13: 外し易くない物は口さがない一方で外化しない
事実14: 外し易いものは口さがない一方で外化しない

仮説: 「仮に外し易くないならば口さがないし外化するということはない」物はある
1. 事実13から、推論1: "仮にあの新現実主義が外し易くないとしたら口さはなくて外化しない"が導かれる
2. 推論1から、仮説が導かれる

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