「仮に「離せるしまた気持ち良くない」ということは誤っているとすると過剰汎化でない」物はある
fact1: 仮に「この進入は離せるし気持ち良い」ということは誤りならそれは過剰汎化でない fact2: この進入が志望しないならそれは集約出来ない fact3: もしも「あるものは気持ち良い一方で握り込まない」ということは成り立たないとすると「それはぺこぺこしない」ということは成り立つ fact4: 「もし仮に気持ち良いとすれば過剰汎化でない」ものはある fact5: 「離せらないとすれば過剰汎化でない」物はある fact6: もし「この進入は成し難いが過剰汎化でない」ということは本当ならばそれは吸引分娩でない fact7: 「挙上すればざわざわしない」ものはある fact8: 仮にこの進入は離せるがしかし気持ち良くないなら過剰汎化でない fact9: 「もしも「離せるけど気持ち良くない」ということは成り立つなら過剰汎化だということはない」ものはある fact10: 「「「継起するし更に締めっぽくない」ということは確かである」ということは偽だとしたら惜しみ無くない」ものはある fact11: もしもこの進入が離せらないならばそれは過剰汎化でない fact12: 「「離せるがしかし気持ち良くない」ということは成り立たないとしたら過剰汎化である」ものはある fact13: もし「この進入は離せるけど気持ち良くない」ということは事実と異なるとすると過剰汎化でない fact14: この兄達が過剰汎化でないとすれば此れ等企業でない fact15: 「仮に「離せるし気持ち良い」ということは成り立たないとすれば「過剰汎化であるということはない」ということは嘘だということはない」ものはある fact16: このＡ四サイズが朴念仁であるけれどそれが離せるということはないとするとそれは挙上しない fact17: 「もし天狗らしいがしかし集約出来ないとしたら誤解し易くない」物はある
fact13 -> hypothesis;
もし「あの明治元は気持ち良いけどそれは握り込まない」ということは成り立たないならばぺこぺこしない
fact18 -> hypothesis;
$facts$ = fact1: 仮に「この進入は離せるし気持ち良い」ということは誤りならそれは過剰汎化でない fact2: この進入が志望しないならそれは集約出来ない fact3: もしも「あるものは気持ち良い一方で握り込まない」ということは成り立たないとすると「それはぺこぺこしない」ということは成り立つ fact4: 「もし仮に気持ち良いとすれば過剰汎化でない」ものはある fact5: 「離せらないとすれば過剰汎化でない」物はある fact6: もし「この進入は成し難いが過剰汎化でない」ということは本当ならばそれは吸引分娩でない fact7: 「挙上すればざわざわしない」ものはある fact8: 仮にこの進入は離せるがしかし気持ち良くないなら過剰汎化でない fact9: 「もしも「離せるけど気持ち良くない」ということは成り立つなら過剰汎化だということはない」ものはある fact10: 「「「継起するし更に締めっぽくない」ということは確かである」ということは偽だとしたら惜しみ無くない」ものはある fact11: もしもこの進入が離せらないならばそれは過剰汎化でない fact12: 「「離せるがしかし気持ち良くない」ということは成り立たないとしたら過剰汎化である」ものはある fact13: もし「この進入は離せるけど気持ち良くない」ということは事実と異なるとすると過剰汎化でない fact14: この兄達が過剰汎化でないとすれば此れ等企業でない fact15: 「仮に「離せるし気持ち良い」ということは成り立たないとすれば「過剰汎化であるということはない」ということは嘘だということはない」ものはある fact16: このＡ四サイズが朴念仁であるけれどそれが離せるということはないとするとそれは挙上しない fact17: 「もし天狗らしいがしかし集約出来ないとしたら誤解し易くない」物はある ; $hypothesis$ = 「仮に「離せるしまた気持ち良くない」ということは誤っているとすると過剰汎化でない」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 仮に「この進入は離せるし気持ち良い」ということは誤りならそれは過剰汎化でない
事実2: この進入が志望しないならそれは集約出来ない
事実3: もしも「あるものは気持ち良い一方で握り込まない」ということは成り立たないとすると「それはぺこぺこしない」ということは成り立つ
事実4: 「もし仮に気持ち良いとすれば過剰汎化でない」ものはある
事実5: 「離せらないとすれば過剰汎化でない」物はある
事実6: もし「この進入は成し難いが過剰汎化でない」ということは本当ならばそれは吸引分娩でない
事実7: 「挙上すればざわざわしない」ものはある
事実8: 仮にこの進入は離せるがしかし気持ち良くないなら過剰汎化でない
事実9: 「もしも「離せるけど気持ち良くない」ということは成り立つなら過剰汎化だということはない」ものはある
事実10: 「「「継起するし更に締めっぽくない」ということは確かである」ということは偽だとしたら惜しみ無くない」ものはある
事実11: もしもこの進入が離せらないならばそれは過剰汎化でない
事実12: 「「離せるがしかし気持ち良くない」ということは成り立たないとしたら過剰汎化である」ものはある
事実13: もし「この進入は離せるけど気持ち良くない」ということは事実と異なるとすると過剰汎化でない
事実14: この兄達が過剰汎化でないとすれば此れ等企業でない
事実15: 「仮に「離せるし気持ち良い」ということは成り立たないとすれば「過剰汎化であるということはない」ということは嘘だということはない」ものはある
事実16: このＡ四サイズが朴念仁であるけれどそれが離せるということはないとするとそれは挙上しない
事実17: 「もし天狗らしいがしかし集約出来ないとしたら誤解し易くない」物はある

仮説: 「仮に「離せるしまた気持ち良くない」ということは誤っているとすると過剰汎化でない」物はある
1. 事実13から、仮説が導かれる

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