「「丸こであるということはないし更に天王星だということはない」ということは成り立たないとしたら痛々しい」ものはある
fact1: 「仮に丸こでないしおまけに天王星であるということはないとすれば痛々しい」ものはある fact2: 仮に「その応答性はベジェ曲線でなくて更にそれは放卵しない」ということは成り立たないとしたら「それは丸こだ」ということは事実だ fact3: 「あの庵は丸こであるけれど天王星でない」ということは嘘ならばそれは痛々しい fact4: もし「「あの庵は丸こだということはないしそれに天王星でない」ということは本当である」ということは誤っているとするとそれは痛々しい fact5: もし「あの庵は扱い易い」ということは確かであるとすると「痛々しい」ということは真実である fact6: 「「「丸こだということはなくてまた天王星である」ということは確かである」ということは偽であるならば痛々しい」ものはある fact7: 「もしも膨隆するということはないし加えてリムーバブルディスクでないとしたら「集団発生する」ということは確かである」ものはある fact8: 「もし仮に「丸こだが天王星でない」ということは嘘であるとしたら痛々しい」物はある fact9: 「自立改革であるならば断章な」物はある fact10: 仮に「「なにがしかの物は御参加下さらなくて天王星でない」ということは確かである」ということは誤っているとしたら酸い fact11: 仮に「何かは遺産相続であるということはないし嘘っぽくない」ということは成り立たないなら「刻み始める」ということは成り立つ fact12: もし仮にあの庵は丸こでないし更に天王星でないとするとそれは痛々しい fact13: 「もし天王星だとしたら痛々しい」物はある fact14: 仮に「あの庵は噂である」ということは本当だとしたらそれは痛々しい fact15: もしもあの庵は忠実忠実しいならば「それは痛々しい」ということは成り立つ fact16: 「もし仮に「レイヤーパレットでないし加えて歴史的産物でない」ということは成り立たないとしたら満遍無い」物はある fact17: 「「トップフォルダである」ということは真実だとすると「出し難い」ということは確かである」物はある fact18: その全般性不安障害が痛々しいなら茶色っぽい fact19: もしも「その道中はツールバーでないししかも第二分野でない」ということは本当でないならそれはイズである fact20: 「此れ有らないしおまけに寒くないとすれば噂である」物はある fact21: 「もし忠実忠実しいとすれば訪中する」物はある
fact4 -> 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$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「仮に丸こでないしおまけに天王星であるということはないとすれば痛々しい」ものはある
事実2: 仮に「その応答性はベジェ曲線でなくて更にそれは放卵しない」ということは成り立たないとしたら「それは丸こだ」ということは事実だ
事実3: 「あの庵は丸こであるけれど天王星でない」ということは嘘ならばそれは痛々しい
事実4: もし「「あの庵は丸こだということはないしそれに天王星でない」ということは本当である」ということは誤っているとするとそれは痛々しい
事実5: もし「あの庵は扱い易い」ということは確かであるとすると「痛々しい」ということは真実である
事実6: 「「「丸こだということはなくてまた天王星である」ということは確かである」ということは偽であるならば痛々しい」ものはある
事実7: 「もしも膨隆するということはないし加えてリムーバブルディスクでないとしたら「集団発生する」ということは確かである」ものはある
事実8: 「もし仮に「丸こだが天王星でない」ということは嘘であるとしたら痛々しい」物はある
事実9: 「自立改革であるならば断章な」物はある
事実10: 仮に「「なにがしかの物は御参加下さらなくて天王星でない」ということは確かである」ということは誤っているとしたら酸い
事実11: 仮に「何かは遺産相続であるということはないし嘘っぽくない」ということは成り立たないなら「刻み始める」ということは成り立つ
事実12: もし仮にあの庵は丸こでないし更に天王星でないとするとそれは痛々しい
事実13: 「もし天王星だとしたら痛々しい」物はある
事実14: 仮に「あの庵は噂である」ということは本当だとしたらそれは痛々しい
事実15: もしもあの庵は忠実忠実しいならば「それは痛々しい」ということは成り立つ
事実16: 「もし仮に「レイヤーパレットでないし加えて歴史的産物でない」ということは成り立たないとしたら満遍無い」物はある
事実17: 「「トップフォルダである」ということは真実だとすると「出し難い」ということは確かである」物はある
事実18: その全般性不安障害が痛々しいなら茶色っぽい
事実19: もしも「その道中はツールバーでないししかも第二分野でない」ということは本当でないならそれはイズである
事実20: 「此れ有らないしおまけに寒くないとすれば噂である」物はある
事実21: 「もし忠実忠実しいとすれば訪中する」物はある

仮説: 「「丸こであるということはないし更に天王星だということはない」ということは成り立たないとしたら痛々しい」ものはある
1. 事実4から、仮説が導かれる

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