「もし仮にコアでないとすると「百姓らしくないし心神でない」ということは事実と異なる」物はある
fact1: もしそのバス停は距離短縮でないとすると「心神でかつ開運でない」ということは間違いである fact2: 「堪え忍ばないとしたら伝わり易くないしまた誤り無いということはない」ものはある fact3: もし仮になんらかのものは維摩会でないなら「繋がり易くないしそれにそれは保持出来ない」ということは真実でない fact4: もしもあの血清抗体価はコアでないとすると「百姓らしいということはなくて心神でない」ということは誤りである fact5: 「もし陶酔だとすれば「西辺でないし更に痛み止めでない」ということは事実と異なる」ものはある fact6: もしあの血清抗体価がコアだということはないとするとそれは百姓らしくないしまたそれは心神でない fact7: もしもあの血清抗体価は百姓らしくないならば「ドラゴンピースでなくてしかも難くない」ということは成り立つということはない fact8: あの血清抗体価はコアでないとすれば「百姓らしいし加えて心神でない」ということは間違いである
fact4 -> hypothesis;
「仮に「維摩会でない」ということは成り立つとすると「繋がり易くなくてまた保持出来るということはない」ということは間違っている」ものはある
fact9 -> int1: 仮にその発酵乳製品は維摩会でないなら「繋がり易くないししかもそれは保持出来るということはない」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: もしそのバス停は距離短縮でないとすると「心神でかつ開運でない」ということは間違いである fact2: 「堪え忍ばないとしたら伝わり易くないしまた誤り無いということはない」ものはある fact3: もし仮になんらかのものは維摩会でないなら「繋がり易くないしそれにそれは保持出来ない」ということは真実でない fact4: もしもあの血清抗体価はコアでないとすると「百姓らしいということはなくて心神でない」ということは誤りである fact5: 「もし陶酔だとすれば「西辺でないし更に痛み止めでない」ということは事実と異なる」ものはある fact6: もしあの血清抗体価がコアだということはないとするとそれは百姓らしくないしまたそれは心神でない fact7: もしもあの血清抗体価は百姓らしくないならば「ドラゴンピースでなくてしかも難くない」ということは成り立つということはない fact8: あの血清抗体価はコアでないとすれば「百姓らしいし加えて心神でない」ということは間違いである ; $hypothesis$ = 「もし仮にコアでないとすると「百姓らしくないし心神でない」ということは事実と異なる」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしそのバス停は距離短縮でないとすると「心神でかつ開運でない」ということは間違いである
事実2: 「堪え忍ばないとしたら伝わり易くないしまた誤り無いということはない」ものはある
事実3: もし仮になんらかのものは維摩会でないなら「繋がり易くないしそれにそれは保持出来ない」ということは真実でない
事実4: もしもあの血清抗体価はコアでないとすると「百姓らしいということはなくて心神でない」ということは誤りである
事実5: 「もし陶酔だとすれば「西辺でないし更に痛み止めでない」ということは事実と異なる」ものはある
事実6: もしあの血清抗体価がコアだということはないとするとそれは百姓らしくないしまたそれは心神でない
事実7: もしもあの血清抗体価は百姓らしくないならば「ドラゴンピースでなくてしかも難くない」ということは成り立つということはない
事実8: あの血清抗体価はコアでないとすれば「百姓らしいし加えて心神でない」ということは間違いである

仮説: 「もし仮にコアでないとすると「百姓らしくないし心神でない」ということは事実と異なる」物はある
1. 事実4から、仮説が導かれる

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