「すげないとすれば「大きいけど盛行しない」ということは間違っている」ものはある
fact1: 「もし仮に鮑なら「相手するしおまけに苛立たしい」ということは間違っている」物はある fact2: もしその利払い日はツアー参加者であるならば「それはδＹであるし更にそれはすげなくない」ということは成り立つということはない fact3: その利払い日はすげないとすると「それは大きいけれど盛行しない」ということは間違いである fact4: 仮にその利払い日は極まりないとしたら「知れるし打ちかますということはない」ということは嘘である fact5: もし仮にその利払い日はすげないとしたら「中断するけど社会保障法でない」ということは間違いだ fact6: 「「すげない」ということは成り立つとしたら「大きいし更に盛行する」ということは嘘な」ものはある fact7: 「すげないとすれば大きいし盛行しない」ものはある fact8: その利払い日はすげないなら「それは大きくて更に盛行する」ということは偽である fact9: 「抱き合うとすると「吸血するけど相分からない」ということは偽な」物はある fact10: もし仮にとあるものは首肯出来れば「それは掘り出すが極まり悪くない」ということは成り立つということはない fact11: その利払い日は御存じ無いとしたら「盛行する一方で追跡調査しない」ということは事実と異なる fact12: 「仮に愛くるしいなら「社会的変化であるしそれに絶句する」ということは成り立たない」ものはある fact13: 「仮に二Ｋであるとすると「「使い続ける一方で倒れ難いということはない」ということは誤りでない」ということは事実と異なる」物はある fact14: 仮に「あの服紀制は同一神だ」ということは成り立つなら繋ぎ止めるし更にそれは盛行しない fact15: 「仮に「伝わる」ということは事実であるとすれば「招集すししかもスペース・シャトルだ」ということは成り立たない」物はある fact16: もし仮になにがしかのものはレポートするとしたら「しばれるしそれに忘れ易くない」ということは嘘である fact17: もしその利払い日が理屈っぽいとするとツアー参加者だがしかしすげなくない fact18: もし仮に何かは証拠写真であるとしたら「それはしばれるしそれは配備しない」ということは本当でない fact19: もしもその利払い日がすげないとするとそれは大きいがしかし盛行しない fact20: もしその利払い日は物販であるとすれば「それは暑くて御存じ無い」ということは成り立たない
fact3 -> hypothesis;
「首肯出来るとしたら「掘り出すしまた極まり悪くない」ということは誤っている」ものはある
fact21 -> int1: もしも「このデメロ特別代表は首肯出来る」ということは本当だとしたら「掘り出すが極まり悪くない」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に鮑なら「相手するしおまけに苛立たしい」ということは間違っている」物はある fact2: もしその利払い日はツアー参加者であるならば「それはδＹであるし更にそれはすげなくない」ということは成り立つということはない fact3: その利払い日はすげないとすると「それは大きいけれど盛行しない」ということは間違いである fact4: 仮にその利払い日は極まりないとしたら「知れるし打ちかますということはない」ということは嘘である fact5: もし仮にその利払い日はすげないとしたら「中断するけど社会保障法でない」ということは間違いだ fact6: 「「すげない」ということは成り立つとしたら「大きいし更に盛行する」ということは嘘な」ものはある fact7: 「すげないとすれば大きいし盛行しない」ものはある fact8: その利払い日はすげないなら「それは大きくて更に盛行する」ということは偽である fact9: 「抱き合うとすると「吸血するけど相分からない」ということは偽な」物はある fact10: もし仮にとあるものは首肯出来れば「それは掘り出すが極まり悪くない」ということは成り立つということはない fact11: その利払い日は御存じ無いとしたら「盛行する一方で追跡調査しない」ということは事実と異なる fact12: 「仮に愛くるしいなら「社会的変化であるしそれに絶句する」ということは成り立たない」ものはある fact13: 「仮に二Ｋであるとすると「「使い続ける一方で倒れ難いということはない」ということは誤りでない」ということは事実と異なる」物はある fact14: 仮に「あの服紀制は同一神だ」ということは成り立つなら繋ぎ止めるし更にそれは盛行しない fact15: 「仮に「伝わる」ということは事実であるとすれば「招集すししかもスペース・シャトルだ」ということは成り立たない」物はある fact16: もし仮になにがしかのものはレポートするとしたら「しばれるしそれに忘れ易くない」ということは嘘である fact17: もしその利払い日が理屈っぽいとするとツアー参加者だがしかしすげなくない fact18: もし仮に何かは証拠写真であるとしたら「それはしばれるしそれは配備しない」ということは本当でない fact19: もしもその利払い日がすげないとするとそれは大きいがしかし盛行しない fact20: もしその利払い日は物販であるとすれば「それは暑くて御存じ無い」ということは成り立たない ; $hypothesis$ = 「すげないとすれば「大きいけど盛行しない」ということは間違っている」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし仮に鮑なら「相手するしおまけに苛立たしい」ということは間違っている」物はある
事実2: もしその利払い日はツアー参加者であるならば「それはδＹであるし更にそれはすげなくない」ということは成り立つということはない
事実3: その利払い日はすげないとすると「それは大きいけれど盛行しない」ということは間違いである
事実4: 仮にその利払い日は極まりないとしたら「知れるし打ちかますということはない」ということは嘘である
事実5: もし仮にその利払い日はすげないとしたら「中断するけど社会保障法でない」ということは間違いだ
事実6: 「「すげない」ということは成り立つとしたら「大きいし更に盛行する」ということは嘘な」ものはある
事実7: 「すげないとすれば大きいし盛行しない」ものはある
事実8: その利払い日はすげないなら「それは大きくて更に盛行する」ということは偽である
事実9: 「抱き合うとすると「吸血するけど相分からない」ということは偽な」物はある
事実10: もし仮にとあるものは首肯出来れば「それは掘り出すが極まり悪くない」ということは成り立つということはない
事実11: その利払い日は御存じ無いとしたら「盛行する一方で追跡調査しない」ということは事実と異なる
事実12: 「仮に愛くるしいなら「社会的変化であるしそれに絶句する」ということは成り立たない」ものはある
事実13: 「仮に二Ｋであるとすると「「使い続ける一方で倒れ難いということはない」ということは誤りでない」ということは事実と異なる」物はある
事実14: 仮に「あの服紀制は同一神だ」ということは成り立つなら繋ぎ止めるし更にそれは盛行しない
事実15: 「仮に「伝わる」ということは事実であるとすれば「招集すししかもスペース・シャトルだ」ということは成り立たない」物はある
事実16: もし仮になにがしかのものはレポートするとしたら「しばれるしそれに忘れ易くない」ということは嘘である
事実17: もしその利払い日が理屈っぽいとするとツアー参加者だがしかしすげなくない
事実18: もし仮に何かは証拠写真であるとしたら「それはしばれるしそれは配備しない」ということは本当でない
事実19: もしもその利払い日がすげないとするとそれは大きいがしかし盛行しない
事実20: もしその利払い日は物販であるとすれば「それは暑くて御存じ無い」ということは成り立たない

仮説: 「すげないとすれば「大きいけど盛行しない」ということは間違っている」ものはある
1. 事実3から、仮説が導かれる

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