「もし仮に「厳ついが整序しない」ということは誤りであるとしたら選択され易い」ものはある
fact1: もしあの正反応率が白しないとしたら厳つい fact2: 「あの正反応率は厳ついが整序しない」ということは間違いであるとするとそれは選択され易い fact3: 「もし仮に「「各人各様だししかも牛久大仏だ」ということは間違っていない」ということは嘘だとしたら快楽原則である」物はある fact4: 「厳つくてそれに整序しないなら選択され易い」ものはある fact5: 仮に「何かは微小突起である一方で慣れ過ぎない」ということは偽ならそれは豊田ウェイだ fact6: 「もしもあの正反応率は厳ついがしかし整序しないとすれば「あの正反応率は選択され易い」ということは事実だ」ということは成り立つ fact7: その収集先が選び分けないとするとそれは整序する fact8: もし仮に「あの正反応率は厳つくてかつ整序する」ということは間違っていればそれは選択され易い fact9: 「仮に「生み給うがしおらしくない」ということは嘘ならば若し」ものはある
fact2 -> hypothesis;
fact2 -> hypothesis;
「「微小突起であるがしかし慣れ過ぎない」ということは成り立たないとすれば豊田ウェイである」物はある
fact10 -> int1: もし「あの切道は微小突起であるがしかし慣れ過ぎない」ということは成り立たないなら豊田ウェイである; int1 -> hypothesis;
$facts$ = fact1: もしあの正反応率が白しないとしたら厳つい fact2: 「あの正反応率は厳ついが整序しない」ということは間違いであるとするとそれは選択され易い fact3: 「もし仮に「「各人各様だししかも牛久大仏だ」ということは間違っていない」ということは嘘だとしたら快楽原則である」物はある fact4: 「厳つくてそれに整序しないなら選択され易い」ものはある fact5: 仮に「何かは微小突起である一方で慣れ過ぎない」ということは偽ならそれは豊田ウェイだ fact6: 「もしもあの正反応率は厳ついがしかし整序しないとすれば「あの正反応率は選択され易い」ということは事実だ」ということは成り立つ fact7: その収集先が選び分けないとするとそれは整序する fact8: もし仮に「あの正反応率は厳つくてかつ整序する」ということは間違っていればそれは選択され易い fact9: 「仮に「生み給うがしおらしくない」ということは嘘ならば若し」ものはある ; $hypothesis$ = 「もし仮に「厳ついが整序しない」ということは誤りであるとしたら選択され易い」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしあの正反応率が白しないとしたら厳つい
事実2: 「あの正反応率は厳ついが整序しない」ということは間違いであるとするとそれは選択され易い
事実3: 「もし仮に「「各人各様だししかも牛久大仏だ」ということは間違っていない」ということは嘘だとしたら快楽原則である」物はある
事実4: 「厳つくてそれに整序しないなら選択され易い」ものはある
事実5: 仮に「何かは微小突起である一方で慣れ過ぎない」ということは偽ならそれは豊田ウェイだ
事実6: 「もしもあの正反応率は厳ついがしかし整序しないとすれば「あの正反応率は選択され易い」ということは事実だ」ということは成り立つ
事実7: その収集先が選び分けないとするとそれは整序する
事実8: もし仮に「あの正反応率は厳つくてかつ整序する」ということは間違っていればそれは選択され易い
事実9: 「仮に「生み給うがしおらしくない」ということは嘘ならば若し」ものはある

仮説: 「もし仮に「厳ついが整序しない」ということは誤りであるとしたら選択され易い」ものはある
1. 事実2から、仮説が導かれる

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