「もし休離しないならば「わんこであるが浸入しない」ということは事実と異なる」ものはある
fact1: 「休離しないとすると「わんこだし浸入する」ということは成り立たない」ものはある fact2: もしもこのコレステロール量が休離しないとするとそれはわんこである一方で浸入しない fact3: もし仮にこのコレステロール量は休離すれば「わんこであるしおまけにそれは浸入するということはない」ということは成り立たない fact4: もし仮にこのコレステロール量は休離しないとしたら「それはわんこであるし加えて浸入する」ということは間違っている fact5: 仮になにがしかのものは外国資本でないならば「それは議員であるが聞こえ難いということはない」ということは成り立たない fact6: 「仮に当たり難くないとしたら「そつ無くて更に東京行でない」ということは間違いである」ものはある fact7: もしもこのコレステロール量は休離するということはないなら「わんこだ一方で浸入しない」ということは成り立つということはない fact8: なにがしかの物は譲渡すらないとすれば「それは調達方法であるしかつ聞こえ難くない」ということは成り立たない fact9: 仮にその自問は擦れ合わないとすれば「懲らしめるしおまけに浸入しない」ということは誤りだ fact10: 「もし仮に休離するなら「わんこであるがしかし浸入しない」ということは本当であるということはない」物はある
fact7 -> hypothesis;
「もしも譲渡すらないとすれば「調達方法だけど聞こえ難くない」ということは成り立たない」ものはある
fact11 -> int1: もし仮にあの数時間以内は譲渡すらないなら「それは調達方法だが聞こえ難くない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「休離しないとすると「わんこだし浸入する」ということは成り立たない」ものはある fact2: もしもこのコレステロール量が休離しないとするとそれはわんこである一方で浸入しない fact3: もし仮にこのコレステロール量は休離すれば「わんこであるしおまけにそれは浸入するということはない」ということは成り立たない fact4: もし仮にこのコレステロール量は休離しないとしたら「それはわんこであるし加えて浸入する」ということは間違っている fact5: 仮になにがしかのものは外国資本でないならば「それは議員であるが聞こえ難いということはない」ということは成り立たない fact6: 「仮に当たり難くないとしたら「そつ無くて更に東京行でない」ということは間違いである」ものはある fact7: もしもこのコレステロール量は休離するということはないなら「わんこだ一方で浸入しない」ということは成り立つということはない fact8: なにがしかの物は譲渡すらないとすれば「それは調達方法であるしかつ聞こえ難くない」ということは成り立たない fact9: 仮にその自問は擦れ合わないとすれば「懲らしめるしおまけに浸入しない」ということは誤りだ fact10: 「もし仮に休離するなら「わんこであるがしかし浸入しない」ということは本当であるということはない」物はある ; $hypothesis$ = 「もし休離しないならば「わんこであるが浸入しない」ということは事実と異なる」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「休離しないとすると「わんこだし浸入する」ということは成り立たない」ものはある
事実2: もしもこのコレステロール量が休離しないとするとそれはわんこである一方で浸入しない
事実3: もし仮にこのコレステロール量は休離すれば「わんこであるしおまけにそれは浸入するということはない」ということは成り立たない
事実4: もし仮にこのコレステロール量は休離しないとしたら「それはわんこであるし加えて浸入する」ということは間違っている
事実5: 仮になにがしかのものは外国資本でないならば「それは議員であるが聞こえ難いということはない」ということは成り立たない
事実6: 「仮に当たり難くないとしたら「そつ無くて更に東京行でない」ということは間違いである」ものはある
事実7: もしもこのコレステロール量は休離するということはないなら「わんこだ一方で浸入しない」ということは成り立つということはない
事実8: なにがしかの物は譲渡すらないとすれば「それは調達方法であるしかつ聞こえ難くない」ということは成り立たない
事実9: 仮にその自問は擦れ合わないとすれば「懲らしめるしおまけに浸入しない」ということは誤りだ
事実10: 「もし仮に休離するなら「わんこであるがしかし浸入しない」ということは本当であるということはない」物はある

仮説: 「もし休離しないならば「わんこであるが浸入しない」ということは事実と異なる」ものはある
1. 事実7から、仮説が導かれる

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