「もし夥しいなら「面映ゆかない一方で規制出来る」ということは嘘である」ものはある
fact1: もし仮に何らかのものは乗り易いとすれば「それは殴打しないし加えて慈悲深い」ということは成り立たない fact2: 「もしも「夥しい」ということは成り立つとすれば面映ゆかないがしかし規制出来る」ものはある fact3: もしその止血剤は夥しいとすれば「それは面映ゆかないししかも規制出来る」ということは嘘だ fact4: 「仮に容易いとすれば患わなくて激動する」物はある fact5: この大数学者は疎ましいとすれば「滑り易くない一方で素早い」ということは成り立たない fact6: 仮にその止血剤は夥しいなら「面映ゆいしかつ規制出来る」ということは事実でない fact7: 「仮に肉製品ならば「鑑賞し易くないがしかし国民国家である」ということは間違いである」物はある fact8: 「もしも「禿げ上がる」ということは成り立つなら「窃取するし愛蔵する」ということは本当であるということはない」ものはある fact9: 「もし仮にエロいなら「安堵出来なくておまけに忙しない」ということは間違いである」ものはある fact10: 「余所余所しいとすると落ち易くないけど安堵し難い」物はある fact11: 仮にその止血剤は規制出来るなら「財産的価値だしさらに正し」ということは正しくない fact12: 「もしも「要約する」ということは事実ならば「容易性でなくて加えてややこしい」ということは事実と異なる」物はある fact13: 「もしも因り難いなら立て回さないし浸透し始める」物はある fact14: 「もしおっきいならおっそろしないし寮母さんな」ものはある fact15: もしその止血剤が卒業するとすればそれは規制出来なくてその上それはおっそろし fact16: 「「メリディオナル面内だ」ということは真実であるならパンクしないけれど錠前マークである」ものはある fact17: もし仮に「その止血剤は夥しくない」ということは成り立たないとすればパンクしないがケーソンである fact18: もし仮にその止血剤は錯覚するなら「「それは要約するということはないけれど面映ゆい」ということは本当である」ということは成り立たない
fact3 -> hypothesis;
fact3 -> hypothesis;
「もし乗り易いとすれば「殴打するということはなくて慈悲深い」ということは嘘な」ものはある
fact19 -> int1: 仮にこの斜め格子は乗り易いなら「それは殴打しないし慈悲深い」ということは事実でない; int1 -> hypothesis;
$facts$ = fact1: もし仮に何らかのものは乗り易いとすれば「それは殴打しないし加えて慈悲深い」ということは成り立たない fact2: 「もしも「夥しい」ということは成り立つとすれば面映ゆかないがしかし規制出来る」ものはある fact3: もしその止血剤は夥しいとすれば「それは面映ゆかないししかも規制出来る」ということは嘘だ fact4: 「仮に容易いとすれば患わなくて激動する」物はある fact5: この大数学者は疎ましいとすれば「滑り易くない一方で素早い」ということは成り立たない fact6: 仮にその止血剤は夥しいなら「面映ゆいしかつ規制出来る」ということは事実でない fact7: 「仮に肉製品ならば「鑑賞し易くないがしかし国民国家である」ということは間違いである」物はある fact8: 「もしも「禿げ上がる」ということは成り立つなら「窃取するし愛蔵する」ということは本当であるということはない」ものはある fact9: 「もし仮にエロいなら「安堵出来なくておまけに忙しない」ということは間違いである」ものはある fact10: 「余所余所しいとすると落ち易くないけど安堵し難い」物はある fact11: 仮にその止血剤は規制出来るなら「財産的価値だしさらに正し」ということは正しくない fact12: 「もしも「要約する」ということは事実ならば「容易性でなくて加えてややこしい」ということは事実と異なる」物はある fact13: 「もしも因り難いなら立て回さないし浸透し始める」物はある fact14: 「もしおっきいならおっそろしないし寮母さんな」ものはある fact15: もしその止血剤が卒業するとすればそれは規制出来なくてその上それはおっそろし fact16: 「「メリディオナル面内だ」ということは真実であるならパンクしないけれど錠前マークである」ものはある fact17: もし仮に「その止血剤は夥しくない」ということは成り立たないとすればパンクしないがケーソンである fact18: もし仮にその止血剤は錯覚するなら「「それは要約するということはないけれど面映ゆい」ということは本当である」ということは成り立たない ; $hypothesis$ = 「もし夥しいなら「面映ゆかない一方で規制出来る」ということは嘘である」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは乗り易いとすれば「それは殴打しないし加えて慈悲深い」ということは成り立たない
事実2: 「もしも「夥しい」ということは成り立つとすれば面映ゆかないがしかし規制出来る」ものはある
事実3: もしその止血剤は夥しいとすれば「それは面映ゆかないししかも規制出来る」ということは嘘だ
事実4: 「仮に容易いとすれば患わなくて激動する」物はある
事実5: この大数学者は疎ましいとすれば「滑り易くない一方で素早い」ということは成り立たない
事実6: 仮にその止血剤は夥しいなら「面映ゆいしかつ規制出来る」ということは事実でない
事実7: 「仮に肉製品ならば「鑑賞し易くないがしかし国民国家である」ということは間違いである」物はある
事実8: 「もしも「禿げ上がる」ということは成り立つなら「窃取するし愛蔵する」ということは本当であるということはない」ものはある
事実9: 「もし仮にエロいなら「安堵出来なくておまけに忙しない」ということは間違いである」ものはある
事実10: 「余所余所しいとすると落ち易くないけど安堵し難い」物はある
事実11: 仮にその止血剤は規制出来るなら「財産的価値だしさらに正し」ということは正しくない
事実12: 「もしも「要約する」ということは事実ならば「容易性でなくて加えてややこしい」ということは事実と異なる」物はある
事実13: 「もしも因り難いなら立て回さないし浸透し始める」物はある
事実14: 「もしおっきいならおっそろしないし寮母さんな」ものはある
事実15: もしその止血剤が卒業するとすればそれは規制出来なくてその上それはおっそろし
事実16: 「「メリディオナル面内だ」ということは真実であるならパンクしないけれど錠前マークである」ものはある
事実17: もし仮に「その止血剤は夥しくない」ということは成り立たないとすればパンクしないがケーソンである
事実18: もし仮にその止血剤は錯覚するなら「「それは要約するということはないけれど面映ゆい」ということは本当である」ということは成り立たない

仮説: 「もし夥しいなら「面映ゆかない一方で規制出来る」ということは嘘である」ものはある
1. 事実3から、仮説が導かれる

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