「もし仮に達成し易いなら「制限付きでないし赤字補填だ」ということは間違っている」ものはある
fact1: もし仮にこの拾遺は立法化するなら「調剤しないが運び易い」ということは嘘だ fact2: 仮にこの拾遺は達成し易いなら「制限付きであるしおまけにそれは赤字補填だ」ということは嘘である fact3: 仮に「あのアルコール飲用後は口汚い」ということは本当であるならば「それは赤字補填でないがＰＧだ」ということは誤りだ fact4: 仮になんらかの物は小高いなら「それは暗転しないがしかしそぐう」ということは成り立たない fact5: 「発送するとすると「撃破しなくて深い」ということは間違っている」ものはある fact6: 「もしも達成し易いなら「制限付きでしかも赤字補填である」ということは間違いな」物はある fact7: もしもこの拾遺はウイルス学であるならば消化吸収され易くないがしかし達成し易い fact8: 仮に何かは延期であるとすると「オンクリックでない一方で漏れ易い」ということは誤りである fact9: もしもこの拾遺は達成し易いならば「それは制限付きでなくて赤字補填だ」ということは間違いだ fact10: もしこの拾遺が出し難いならば甚だしくないが達成し易い fact11: もし仮にこの拾遺が達成し易いならば制限付きだということはないけれど赤字補填だ fact12: 「「達成し易い」ということは真実だとすれば制限付きでなくてしかも赤字補填な」物はある fact13: 「もしもカーブするとすれば溢れ落ちないししかも摘み立てな」物はある
fact9 -> hypothesis;
「もし小高いとしたら「暗転しないしそぐう」ということは成り立たない」ものはある
fact14 -> int1: もしもその御膝元は小高いとすれば「それは暗転しないがそぐう」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの拾遺は立法化するなら「調剤しないが運び易い」ということは嘘だ fact2: 仮にこの拾遺は達成し易いなら「制限付きであるしおまけにそれは赤字補填だ」ということは嘘である fact3: 仮に「あのアルコール飲用後は口汚い」ということは本当であるならば「それは赤字補填でないがＰＧだ」ということは誤りだ fact4: 仮になんらかの物は小高いなら「それは暗転しないがしかしそぐう」ということは成り立たない fact5: 「発送するとすると「撃破しなくて深い」ということは間違っている」ものはある fact6: 「もしも達成し易いなら「制限付きでしかも赤字補填である」ということは間違いな」物はある fact7: もしもこの拾遺はウイルス学であるならば消化吸収され易くないがしかし達成し易い fact8: 仮に何かは延期であるとすると「オンクリックでない一方で漏れ易い」ということは誤りである fact9: もしもこの拾遺は達成し易いならば「それは制限付きでなくて赤字補填だ」ということは間違いだ fact10: もしこの拾遺が出し難いならば甚だしくないが達成し易い fact11: もし仮にこの拾遺が達成し易いならば制限付きだということはないけれど赤字補填だ fact12: 「「達成し易い」ということは真実だとすれば制限付きでなくてしかも赤字補填な」物はある fact13: 「もしもカーブするとすれば溢れ落ちないししかも摘み立てな」物はある ; $hypothesis$ = 「もし仮に達成し易いなら「制限付きでないし赤字補填だ」ということは間違っている」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もし仮にこの拾遺は立法化するなら「調剤しないが運び易い」ということは嘘だ
事実2: 仮にこの拾遺は達成し易いなら「制限付きであるしおまけにそれは赤字補填だ」ということは嘘である
事実3: 仮に「あのアルコール飲用後は口汚い」ということは本当であるならば「それは赤字補填でないがＰＧだ」ということは誤りだ
事実4: 仮になんらかの物は小高いなら「それは暗転しないがしかしそぐう」ということは成り立たない
事実5: 「発送するとすると「撃破しなくて深い」ということは間違っている」ものはある
事実6: 「もしも達成し易いなら「制限付きでしかも赤字補填である」ということは間違いな」物はある
事実7: もしもこの拾遺はウイルス学であるならば消化吸収され易くないがしかし達成し易い
事実8: 仮に何かは延期であるとすると「オンクリックでない一方で漏れ易い」ということは誤りである
事実9: もしもこの拾遺は達成し易いならば「それは制限付きでなくて赤字補填だ」ということは間違いだ
事実10: もしこの拾遺が出し難いならば甚だしくないが達成し易い
事実11: もし仮にこの拾遺が達成し易いならば制限付きだということはないけれど赤字補填だ
事実12: 「「達成し易い」ということは真実だとすれば制限付きでなくてしかも赤字補填な」物はある
事実13: 「もしもカーブするとすれば溢れ落ちないししかも摘み立てな」物はある

仮説: 「もし仮に達成し易いなら「制限付きでないし赤字補填だ」ということは間違っている」ものはある
1. 事実9から、仮説が導かれる

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