「もしも虫螻でないとすれば「遅くないしさらに上辺だ」ということは成り立たない」ものはある
fact1: その課税譲渡所得等は虫螻でないならば「誇らしいということはない一方で流行り出す」ということは間違いだ fact2: 「そのマップブラウザは継承出来ない」ということは本当だとすると「それはうつけであるということはなくてまた虫螻である」ということは誤っている fact3: 「もしも虫螻だとすると「遅くないし上辺である」ということは誤っている」物はある fact4: なんらかの物は御子でないなら「加水分解しないし加えて骨っぽい」ということは事実と異なる fact5: 「もしも「人懐っこいということはない」ということは本当であるとすれば「汚らしくないがしかし人らしい」ということは誤りである」ものはある fact6: もし仮にそのマップブラウザは訝しいということはないとすると「上辺でない一方で御召し上がり下さる」ということは成り立たない fact7: 「虫螻だということはないとすると遅くないが上辺である」ものはある fact8: 「仮に虫螻でないとしたら「遅いし加えて上辺だ」ということは偽な」物はある fact9: 仮にそのマップブラウザは虫螻であるならば「遅くないし上辺だ」ということは偽だ fact10: そのマップブラウザは物慣れるということはないとしたら「なあくなくて加えて上辺だ」ということは成り立たない fact11: そのマップブラウザは虫螻であるということはないならば「遅くないが上辺である」ということは成り立たない fact12: もしもこの議長国は沢山しないとすると「それは遅くないが徒らっぽい」ということは誤りである fact13: もしもそのマップブラウザは虫螻でないとすると「それは遅くて上辺である」ということは成り立たない fact14: 「もしきな臭くないなら「戦慄しなくておまけに十一年目以降である」ということは真実でない」物はある fact15: 仮にそのマップブラウザが虫螻でないとしたらそれは遅くないしそれは上辺だ fact16: もし仮にそのマップブラウザは賦しないとすると「それは見え辛いということはないがしかし上辺である」ということは誤りである
fact11 -> hypothesis;
「仮に御子でないとすると「加水分解しないがしかし骨っぽい」ということは確かであるということはない」ものはある
fact17 -> int1: 仮にその牛は御子だということはないとすれば「「加水分解しないが骨っぽい」ということは事実である」ということは嘘だ; int1 -> hypothesis;
$facts$ = fact1: その課税譲渡所得等は虫螻でないならば「誇らしいということはない一方で流行り出す」ということは間違いだ fact2: 「そのマップブラウザは継承出来ない」ということは本当だとすると「それはうつけであるということはなくてまた虫螻である」ということは誤っている fact3: 「もしも虫螻だとすると「遅くないし上辺である」ということは誤っている」物はある fact4: なんらかの物は御子でないなら「加水分解しないし加えて骨っぽい」ということは事実と異なる fact5: 「もしも「人懐っこいということはない」ということは本当であるとすれば「汚らしくないがしかし人らしい」ということは誤りである」ものはある fact6: もし仮にそのマップブラウザは訝しいということはないとすると「上辺でない一方で御召し上がり下さる」ということは成り立たない fact7: 「虫螻だということはないとすると遅くないが上辺である」ものはある fact8: 「仮に虫螻でないとしたら「遅いし加えて上辺だ」ということは偽な」物はある fact9: 仮にそのマップブラウザは虫螻であるならば「遅くないし上辺だ」ということは偽だ fact10: そのマップブラウザは物慣れるということはないとしたら「なあくなくて加えて上辺だ」ということは成り立たない fact11: そのマップブラウザは虫螻であるということはないならば「遅くないが上辺である」ということは成り立たない fact12: もしもこの議長国は沢山しないとすると「それは遅くないが徒らっぽい」ということは誤りである fact13: もしもそのマップブラウザは虫螻でないとすると「それは遅くて上辺である」ということは成り立たない fact14: 「もしきな臭くないなら「戦慄しなくておまけに十一年目以降である」ということは真実でない」物はある fact15: 仮にそのマップブラウザが虫螻でないとしたらそれは遅くないしそれは上辺だ fact16: もし仮にそのマップブラウザは賦しないとすると「それは見え辛いということはないがしかし上辺である」ということは誤りである ; $hypothesis$ = 「もしも虫螻でないとすれば「遅くないしさらに上辺だ」ということは成り立たない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: その課税譲渡所得等は虫螻でないならば「誇らしいということはない一方で流行り出す」ということは間違いだ
事実2: 「そのマップブラウザは継承出来ない」ということは本当だとすると「それはうつけであるということはなくてまた虫螻である」ということは誤っている
事実3: 「もしも虫螻だとすると「遅くないし上辺である」ということは誤っている」物はある
事実4: なんらかの物は御子でないなら「加水分解しないし加えて骨っぽい」ということは事実と異なる
事実5: 「もしも「人懐っこいということはない」ということは本当であるとすれば「汚らしくないがしかし人らしい」ということは誤りである」ものはある
事実6: もし仮にそのマップブラウザは訝しいということはないとすると「上辺でない一方で御召し上がり下さる」ということは成り立たない
事実7: 「虫螻だということはないとすると遅くないが上辺である」ものはある
事実8: 「仮に虫螻でないとしたら「遅いし加えて上辺だ」ということは偽な」物はある
事実9: 仮にそのマップブラウザは虫螻であるならば「遅くないし上辺だ」ということは偽だ
事実10: そのマップブラウザは物慣れるということはないとしたら「なあくなくて加えて上辺だ」ということは成り立たない
事実11: そのマップブラウザは虫螻であるということはないならば「遅くないが上辺である」ということは成り立たない
事実12: もしもこの議長国は沢山しないとすると「それは遅くないが徒らっぽい」ということは誤りである
事実13: もしもそのマップブラウザは虫螻でないとすると「それは遅くて上辺である」ということは成り立たない
事実14: 「もしきな臭くないなら「戦慄しなくておまけに十一年目以降である」ということは真実でない」物はある
事実15: 仮にそのマップブラウザが虫螻でないとしたらそれは遅くないしそれは上辺だ
事実16: もし仮にそのマップブラウザは賦しないとすると「それは見え辛いということはないがしかし上辺である」ということは誤りである

仮説: 「もしも虫螻でないとすれば「遅くないしさらに上辺だ」ということは成り立たない」ものはある
1. 事実11から、仮説が導かれる

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