「もし甘ーくないならば「丸っこいということはなくてしかも手広くない」ということは成り立つということはない」ものはある
fact1: もしもその非存在は甘ーくないとすると「丸っこいししかも手広くない」ということは成り立たない fact2: 「もし仮に「語り続けない」ということは成り立てば「撫で摩るということはないし御寒くない」ということは成り立たない」物はある fact3: 「もし「甘ーい」ということは誤りでないならば「丸っこいということはないしまた手広くない」ということは成り立つということはない」物はある fact4: 仮にその非存在は狡っ辛くないなら「思わしいということはなくてまたそれは甘ーくない」ということは事実でない fact5: 「もし仮に甘ーいということはないなら丸っこくないし手広くない」物はある fact6: 仮にその非存在は甘ーいとしたら「丸っこくないし手広いということはない」ということは本当でない fact7: 「甘ーくないとすると「丸っこいけど手広いということはない」ということは成り立つということはない」ものはある fact8: もし仮にその非存在が甘ーくないとするとそれは丸っこくないし加えて手広くない fact9: もしその非存在は甘ーくないとすると「それは丸っこくないし手広くない」ということは偽である fact10: 仮になんらかの物は発症し易くないとすると「馬鹿でかくなくてかつそれは捕らえ難くない」ということは偽だ fact11: 「もしも甘ーくないなら「丸っこくないけど手広い」ということは成り立たない」物はある
fact9 -> hypothesis;
fact9 -> hypothesis;
「発症し易くないとすると「馬鹿でかくないししかも捕らえ難くない」ということは成り立たない」ものはある
fact12 -> int1: そのプロダクトは発症し易いということはないならば「「馬鹿でかくないし捕らえ難くない」ということは真実だ」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: もしもその非存在は甘ーくないとすると「丸っこいししかも手広くない」ということは成り立たない fact2: 「もし仮に「語り続けない」ということは成り立てば「撫で摩るということはないし御寒くない」ということは成り立たない」物はある fact3: 「もし「甘ーい」ということは誤りでないならば「丸っこいということはないしまた手広くない」ということは成り立つということはない」物はある fact4: 仮にその非存在は狡っ辛くないなら「思わしいということはなくてまたそれは甘ーくない」ということは事実でない fact5: 「もし仮に甘ーいということはないなら丸っこくないし手広くない」物はある fact6: 仮にその非存在は甘ーいとしたら「丸っこくないし手広いということはない」ということは本当でない fact7: 「甘ーくないとすると「丸っこいけど手広いということはない」ということは成り立つということはない」ものはある fact8: もし仮にその非存在が甘ーくないとするとそれは丸っこくないし加えて手広くない fact9: もしその非存在は甘ーくないとすると「それは丸っこくないし手広くない」ということは偽である fact10: 仮になんらかの物は発症し易くないとすると「馬鹿でかくなくてかつそれは捕らえ難くない」ということは偽だ fact11: 「もしも甘ーくないなら「丸っこくないけど手広い」ということは成り立たない」物はある ; $hypothesis$ = 「もし甘ーくないならば「丸っこいということはなくてしかも手広くない」ということは成り立つということはない」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もしもその非存在は甘ーくないとすると「丸っこいししかも手広くない」ということは成り立たない
事実2: 「もし仮に「語り続けない」ということは成り立てば「撫で摩るということはないし御寒くない」ということは成り立たない」物はある
事実3: 「もし「甘ーい」ということは誤りでないならば「丸っこいということはないしまた手広くない」ということは成り立つということはない」物はある
事実4: 仮にその非存在は狡っ辛くないなら「思わしいということはなくてまたそれは甘ーくない」ということは事実でない
事実5: 「もし仮に甘ーいということはないなら丸っこくないし手広くない」物はある
事実6: 仮にその非存在は甘ーいとしたら「丸っこくないし手広いということはない」ということは本当でない
事実7: 「甘ーくないとすると「丸っこいけど手広いということはない」ということは成り立つということはない」ものはある
事実8: もし仮にその非存在が甘ーくないとするとそれは丸っこくないし加えて手広くない
事実9: もしその非存在は甘ーくないとすると「それは丸っこくないし手広くない」ということは偽である
事実10: 仮になんらかの物は発症し易くないとすると「馬鹿でかくなくてかつそれは捕らえ難くない」ということは偽だ
事実11: 「もしも甘ーくないなら「丸っこくないけど手広い」ということは成り立たない」物はある

仮説: 「もし甘ーくないならば「丸っこいということはなくてしかも手広くない」ということは成り立つということはない」ものはある
1. 事実9から、仮説が導かれる

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