「「憎い」ということは間違いであるということはないなら「付け込まないしさらに重いということはない」ということは成り立たない」物はある
fact1: 「もしコンポートならば斬首しなくて痩せ難くない」物はある fact2: もし仮に何らかの物は憎いとすると「平ったくないしそれにみみっちいということはない」ということは成り立たない fact3: 「もしも州教育法だとすると「振る舞えるしまた採録でない」ということは嘘である」物はある fact4: 「居る居ればしかつめらしくないし更に処罰すらない」ものはある fact5: 「「仮に州教育法であるとしたら「名残惜しいということはなくてかつ濃密さでない」ということは成り立たない」ものはある」ということは成り立つ fact6: 仮に何らかの物は頼もしいなら「恵まないしその上濃密さだということはない」ということは誤りだ fact7: もしもその十年来は憎いとすると「付け込むしそれは重くない」ということは嘘である fact8: 「「憎い」ということは正しいとしたら「付け込まないけれど重い」ということは嘘である」ものはある fact9: 「もしも咀嚼すれば出稿しないしまた走り抜けない」ものはある fact10: その十年来は重いなら「それは集まり易い一方で眠たくない」ということは誤っている fact11: もしその十年来は憎いとすると「それは付け込まないしそれに重い」ということは成り立たない fact12: 「もし仮に「憎い」ということは成り立つとすれば付け込まなくて更に重くない」ものはある fact13: もし仮にそのＫ社は重いとしたら「咀嚼するということはないし更に参戦しない」ということは成り立たない fact14: 仮にあのアミノ酸残基は冷飲するとすると「それは付け込むということはなくておまけに深いということはない」ということは成り立たない fact15: 「もし仮に白しなら「不詳であるしおまけに合わせ易くない」ということは成り立たない」物はある fact16: もしも「その十年来は憎い」ということは事実だとしたらそれは付け込まないし重くない fact17: もし仮にその十年来は重いとすると「「それは解約出来るということはなくて加えてそれは正し」ということは事実だ」ということは誤っている fact18: 「仮に憎いならば「付け込む一方で重くない」ということは成り立たない」ものはある fact19: 「似付かわしいとすれば「正当化でないし出稿しない」ということは本当でない」物はある fact20: その十年来は憎いとすれば「「付け込まなくて更に重くない」ということは本当である」ということは成り立つということはない fact21: もし仮にその十年来は怒号するとすれば「憎いししかもそれは動き難くない」ということは誤りだ
fact20 -> hypothesis;
「「頼もしい」ということは確かなら「恵まないしかつ濃密さでない」ということは嘘な」ものはある
fact22 -> int1: もしその御面会は頼もしいとすれば「それは恵まないしそれに濃密さでない」ということは本当でない; int1 -> hypothesis;
$facts$ = fact1: 「もしコンポートならば斬首しなくて痩せ難くない」物はある fact2: もし仮に何らかの物は憎いとすると「平ったくないしそれにみみっちいということはない」ということは成り立たない fact3: 「もしも州教育法だとすると「振る舞えるしまた採録でない」ということは嘘である」物はある fact4: 「居る居ればしかつめらしくないし更に処罰すらない」ものはある fact5: 「「仮に州教育法であるとしたら「名残惜しいということはなくてかつ濃密さでない」ということは成り立たない」ものはある」ということは成り立つ fact6: 仮に何らかの物は頼もしいなら「恵まないしその上濃密さだということはない」ということは誤りだ fact7: もしもその十年来は憎いとすると「付け込むしそれは重くない」ということは嘘である fact8: 「「憎い」ということは正しいとしたら「付け込まないけれど重い」ということは嘘である」ものはある fact9: 「もしも咀嚼すれば出稿しないしまた走り抜けない」ものはある fact10: その十年来は重いなら「それは集まり易い一方で眠たくない」ということは誤っている fact11: もしその十年来は憎いとすると「それは付け込まないしそれに重い」ということは成り立たない fact12: 「もし仮に「憎い」ということは成り立つとすれば付け込まなくて更に重くない」ものはある fact13: もし仮にそのＫ社は重いとしたら「咀嚼するということはないし更に参戦しない」ということは成り立たない fact14: 仮にあのアミノ酸残基は冷飲するとすると「それは付け込むということはなくておまけに深いということはない」ということは成り立たない fact15: 「もし仮に白しなら「不詳であるしおまけに合わせ易くない」ということは成り立たない」物はある fact16: もしも「その十年来は憎い」ということは事実だとしたらそれは付け込まないし重くない fact17: もし仮にその十年来は重いとすると「「それは解約出来るということはなくて加えてそれは正し」ということは事実だ」ということは誤っている fact18: 「仮に憎いならば「付け込む一方で重くない」ということは成り立たない」ものはある fact19: 「似付かわしいとすれば「正当化でないし出稿しない」ということは本当でない」物はある fact20: その十年来は憎いとすれば「「付け込まなくて更に重くない」ということは本当である」ということは成り立つということはない fact21: もし仮にその十年来は怒号するとすれば「憎いししかもそれは動き難くない」ということは誤りだ ; $hypothesis$ = 「「憎い」ということは間違いであるということはないなら「付け込まないしさらに重いということはない」ということは成り立たない」物はある ; $proof$ = 
fact20 -> hypothesis; __PROVED__
事実1: 「もしコンポートならば斬首しなくて痩せ難くない」物はある
事実2: もし仮に何らかの物は憎いとすると「平ったくないしそれにみみっちいということはない」ということは成り立たない
事実3: 「もしも州教育法だとすると「振る舞えるしまた採録でない」ということは嘘である」物はある
事実4: 「居る居ればしかつめらしくないし更に処罰すらない」ものはある
事実5: 「「仮に州教育法であるとしたら「名残惜しいということはなくてかつ濃密さでない」ということは成り立たない」ものはある」ということは成り立つ
事実6: 仮に何らかの物は頼もしいなら「恵まないしその上濃密さだということはない」ということは誤りだ
事実7: もしもその十年来は憎いとすると「付け込むしそれは重くない」ということは嘘である
事実8: 「「憎い」ということは正しいとしたら「付け込まないけれど重い」ということは嘘である」ものはある
事実9: 「もしも咀嚼すれば出稿しないしまた走り抜けない」ものはある
事実10: その十年来は重いなら「それは集まり易い一方で眠たくない」ということは誤っている
事実11: もしその十年来は憎いとすると「それは付け込まないしそれに重い」ということは成り立たない
事実12: 「もし仮に「憎い」ということは成り立つとすれば付け込まなくて更に重くない」ものはある
事実13: もし仮にそのＫ社は重いとしたら「咀嚼するということはないし更に参戦しない」ということは成り立たない
事実14: 仮にあのアミノ酸残基は冷飲するとすると「それは付け込むということはなくておまけに深いということはない」ということは成り立たない
事実15: 「もし仮に白しなら「不詳であるしおまけに合わせ易くない」ということは成り立たない」物はある
事実16: もしも「その十年来は憎い」ということは事実だとしたらそれは付け込まないし重くない
事実17: もし仮にその十年来は重いとすると「「それは解約出来るということはなくて加えてそれは正し」ということは事実だ」ということは誤っている
事実18: 「仮に憎いならば「付け込む一方で重くない」ということは成り立たない」ものはある
事実19: 「似付かわしいとすれば「正当化でないし出稿しない」ということは本当でない」物はある
事実20: その十年来は憎いとすれば「「付け込まなくて更に重くない」ということは本当である」ということは成り立つということはない
事実21: もし仮にその十年来は怒号するとすれば「憎いししかもそれは動き難くない」ということは誤りだ

仮説: 「「憎い」ということは間違いであるということはないなら「付け込まないしさらに重いということはない」ということは成り立たない」物はある
1. 事実20から、仮説が導かれる

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