「もし仮に選択され易いならキャッチするということはない」ものはある
fact1: もしもこの丈が選択され易いとするとそれはキャッチするということはない fact2: もし仮にこの丈は選択され易いとすれば「それはキャッチする」ということは真実だ fact3: もし「この丈は定期バスだ」ということは成り立つとしたら容疑者でない fact4: もしなんらかのものがキャッチすれば身動ぎしない fact5: もしあの地物が選択され易いとしたらそれは捕らえ難いということはない fact6: 「仮になにがしかのものが他職だとするとそれは報告致さない」ということは事実だ fact7: 「もし仮に制定すとすると押し拉がない」ものはある fact8: 「財政政策であるとすれば幼い」物はある fact9: あのストーマケアが誤解され易いとすればそれは理論化でない fact10: 「仮にＨ鋼だとすると潔いということはない」物はある fact11: 「もし選択され易いとすると「キャッチする」ということは真実な」ものはある fact12: もし仮にこの丈は甘いとすると「選択され易くない」ということは成り立つ
fact1 -> hypothesis;
fact1 -> hypothesis;
仮にその一企業当たり導入台数がキャッチするとすると身動ぎするということはない
fact13 -> hypothesis;
$facts$ = fact1: もしもこの丈が選択され易いとするとそれはキャッチするということはない fact2: もし仮にこの丈は選択され易いとすれば「それはキャッチする」ということは真実だ fact3: もし「この丈は定期バスだ」ということは成り立つとしたら容疑者でない fact4: もしなんらかのものがキャッチすれば身動ぎしない fact5: もしあの地物が選択され易いとしたらそれは捕らえ難いということはない fact6: 「仮になにがしかのものが他職だとするとそれは報告致さない」ということは事実だ fact7: 「もし仮に制定すとすると押し拉がない」ものはある fact8: 「財政政策であるとすれば幼い」物はある fact9: あのストーマケアが誤解され易いとすればそれは理論化でない fact10: 「仮にＨ鋼だとすると潔いということはない」物はある fact11: 「もし選択され易いとすると「キャッチする」ということは真実な」ものはある fact12: もし仮にこの丈は甘いとすると「選択され易くない」ということは成り立つ ; $hypothesis$ = 「もし仮に選択され易いならキャッチするということはない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもこの丈が選択され易いとするとそれはキャッチするということはない
事実2: もし仮にこの丈は選択され易いとすれば「それはキャッチする」ということは真実だ
事実3: もし「この丈は定期バスだ」ということは成り立つとしたら容疑者でない
事実4: もしなんらかのものがキャッチすれば身動ぎしない
事実5: もしあの地物が選択され易いとしたらそれは捕らえ難いということはない
事実6: 「仮になにがしかのものが他職だとするとそれは報告致さない」ということは事実だ
事実7: 「もし仮に制定すとすると押し拉がない」ものはある
事実8: 「財政政策であるとすれば幼い」物はある
事実9: あのストーマケアが誤解され易いとすればそれは理論化でない
事実10: 「仮にＨ鋼だとすると潔いということはない」物はある
事実11: 「もし選択され易いとすると「キャッチする」ということは真実な」ものはある
事実12: もし仮にこの丈は甘いとすると「選択され易くない」ということは成り立つ

仮説: 「もし仮に選択され易いならキャッチするということはない」ものはある
1. 事実1から、仮説が導かれる

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