「「文化人だということはないし論戦である」ということは成り立たないとしたら「話し易い」ということは正しい」物はある
fact1: 「もし仮に「仕方無しないが見逃す」ということは誤っているとすればフリントである」ものはある fact2: 「もし仮に不死鳥でなくてその上入園するなら標的器官である」物はある fact3: 仮に「その雌蕊は文化人でない一方で論戦である」ということは真実でないならば話し易い fact4: 「もし仮に「呪詛でなくてまた甘い」ということは嘘であるとしたら歩き始める」ものはある fact5: 仮に「ある物は取っ替えないけど得点する」ということは事実と異なるとすればそれは大腸壁である fact6: 「仮に文化人だということはないけど論戦であるとすると話し易い」物はある fact7: 仮にその雌蕊は文化人であるならそれは話し易い fact8: 「仮に「太り易い」ということは成り立てば締めっぽい」ものはある fact9: もしも「その雌蕊は常連らしいし加えて測り難い」ということは誤りだとすれば「それは及第する」ということは正しい fact10: もしもこの立ち遅れは論戦でないが進学すれば労働安全衛生法だ fact11: 仮にその雌蕊が文化人でないがそれが論戦だとするとそれは話し易い fact12: 仮に「その雌蕊はスンニ派であるし更に暖房する」ということは成り立たないなら味わわす
fact3 -> hypothesis;
fact3 -> hypothesis;
「「仮に「取っ替えないしおまけに得点する」ということは偽ならば大腸壁な」ものはある」ということは成り立つ
fact13 -> int1: もし「あの郷紳は取っ替えないけれど得点する」ということは事実でないとすれば大腸壁である; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「仕方無しないが見逃す」ということは誤っているとすればフリントである」ものはある fact2: 「もし仮に不死鳥でなくてその上入園するなら標的器官である」物はある fact3: 仮に「その雌蕊は文化人でない一方で論戦である」ということは真実でないならば話し易い fact4: 「もし仮に「呪詛でなくてまた甘い」ということは嘘であるとしたら歩き始める」ものはある fact5: 仮に「ある物は取っ替えないけど得点する」ということは事実と異なるとすればそれは大腸壁である fact6: 「仮に文化人だということはないけど論戦であるとすると話し易い」物はある fact7: 仮にその雌蕊は文化人であるならそれは話し易い fact8: 「仮に「太り易い」ということは成り立てば締めっぽい」ものはある fact9: もしも「その雌蕊は常連らしいし加えて測り難い」ということは誤りだとすれば「それは及第する」ということは正しい fact10: もしもこの立ち遅れは論戦でないが進学すれば労働安全衛生法だ fact11: 仮にその雌蕊が文化人でないがそれが論戦だとするとそれは話し易い fact12: 仮に「その雌蕊はスンニ派であるし更に暖房する」ということは成り立たないなら味わわす ; $hypothesis$ = 「「文化人だということはないし論戦である」ということは成り立たないとしたら「話し易い」ということは正しい」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし仮に「仕方無しないが見逃す」ということは誤っているとすればフリントである」ものはある
事実2: 「もし仮に不死鳥でなくてその上入園するなら標的器官である」物はある
事実3: 仮に「その雌蕊は文化人でない一方で論戦である」ということは真実でないならば話し易い
事実4: 「もし仮に「呪詛でなくてまた甘い」ということは嘘であるとしたら歩き始める」ものはある
事実5: 仮に「ある物は取っ替えないけど得点する」ということは事実と異なるとすればそれは大腸壁である
事実6: 「仮に文化人だということはないけど論戦であるとすると話し易い」物はある
事実7: 仮にその雌蕊は文化人であるならそれは話し易い
事実8: 「仮に「太り易い」ということは成り立てば締めっぽい」ものはある
事実9: もしも「その雌蕊は常連らしいし加えて測り難い」ということは誤りだとすれば「それは及第する」ということは正しい
事実10: もしもこの立ち遅れは論戦でないが進学すれば労働安全衛生法だ
事実11: 仮にその雌蕊が文化人でないがそれが論戦だとするとそれは話し易い
事実12: 仮に「その雌蕊はスンニ派であるし更に暖房する」ということは成り立たないなら味わわす

仮説: 「「文化人だということはないし論戦である」ということは成り立たないとしたら「話し易い」ということは正しい」物はある
1. 事実3から、仮説が導かれる

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