「「クラリネットでない」ということは成り立つなら一本取りな」ものはある
fact1: 「もし仮に寝苦しくないとすると「汗ばむ」ということは成り立つ」ものはある fact2: 「もし仮に弘通するということはないならば御近所さんな」ものはある fact3: 「腐り易くないとすると「寝苦しい」ということは成り立つ」ものはある fact4: もし仮にとある物がちぎれ易くないとすると経ち遅れる fact5: 「もし仮に必要性でないとすれば仲買組である」物はある fact6: あの平定は一本取りでないとすると「それは加工し易い」ということは成り立つ fact7: 「もしこの下側はクラリネットでないとしたら「この下側は権利付き売買最終日である」ということは成り立つ」ということは真実だ fact8: 「この下側は素人っぽくない」ということは確かであるとすればクラリネットである fact9: もし仮に「なんらかの物は二分以内でない」ということは正しいとすると順応出来る fact10: 「もし仮にキャベツでないならば古地図である」物はある fact11: 仮にこの下側は移行し易くないならばそれは一本取りだ fact12: もしこの下側が原液でないとすればそれはクラリネットだ fact13: 「もしクラリネットなら一本取りである」ものはある fact14: もしこの下側は一本取りであるということはないとすれば甘い fact15: 仮にこの下側はクラリネットであるとすると一本取りである fact16: 「男子児童であるということはないとすれば設備する」ものはある fact17: 「もしちぎれ易くないとしたら渡れる」物はある fact18: 「神祭でないならば発信出来る」物はある fact19: 「もし「作り易くない」ということは真実だとすれば縮み上がる」ものはある fact20: この下側は一本取りであるということはないとすると絞殺する fact21: もしこの下側はクラリネットでないならばそれは一本取りだ
fact21 -> hypothesis;
もし仮にその関翁は二分以内でないとすると順応出来る
fact22 -> 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$ = 
fact21 -> hypothesis; __PROVED__
事実1: 「もし仮に寝苦しくないとすると「汗ばむ」ということは成り立つ」ものはある
事実2: 「もし仮に弘通するということはないならば御近所さんな」ものはある
事実3: 「腐り易くないとすると「寝苦しい」ということは成り立つ」ものはある
事実4: もし仮にとある物がちぎれ易くないとすると経ち遅れる
事実5: 「もし仮に必要性でないとすれば仲買組である」物はある
事実6: あの平定は一本取りでないとすると「それは加工し易い」ということは成り立つ
事実7: 「もしこの下側はクラリネットでないとしたら「この下側は権利付き売買最終日である」ということは成り立つ」ということは真実だ
事実8: 「この下側は素人っぽくない」ということは確かであるとすればクラリネットである
事実9: もし仮に「なんらかの物は二分以内でない」ということは正しいとすると順応出来る
事実10: 「もし仮にキャベツでないならば古地図である」物はある
事実11: 仮にこの下側は移行し易くないならばそれは一本取りだ
事実12: もしこの下側が原液でないとすればそれはクラリネットだ
事実13: 「もしクラリネットなら一本取りである」ものはある
事実14: もしこの下側は一本取りであるということはないとすれば甘い
事実15: 仮にこの下側はクラリネットであるとすると一本取りである
事実16: 「男子児童であるということはないとすれば設備する」ものはある
事実17: 「もしちぎれ易くないとしたら渡れる」物はある
事実18: 「神祭でないならば発信出来る」物はある
事実19: 「もし「作り易くない」ということは真実だとすれば縮み上がる」ものはある
事実20: この下側は一本取りであるということはないとすると絞殺する
事実21: もしこの下側はクラリネットでないならばそれは一本取りだ

仮説: 「「クラリネットでない」ということは成り立つなら一本取りな」ものはある
1. 事実21から、仮説が導かれる

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