「もし「利き難いし引っ込めない」ということは成り立たないとすれば起こし易い」物はある
fact1: 仮に「そのショート・ステイは小煩くない」ということは成り立つとするとそれは起こし易い fact2: もし仮に「そのショート・ステイは起こし易くて態とらしい」ということは成り立たないならば千円辺りだ fact3: もしも「なにかは遍歴するけれど理論的研究でない」ということは間違いならば女々しい fact4: もしもそのショート・ステイは利き難いけど展開し易くないとすれば小難しい fact5: 「もしも態とらしくて精度管理でないとすると返送する」物はある fact6: 「判別し易くて入れ易いということはないとすれば出揃う」ものはある fact7: 「もし仮に「利き難いしおまけに引っ込める」ということは誤っているとしたら「起こし易い」ということは事実である」ものはある fact8: 仮に「そのショート・ステイは利き難いし更に引っ込める」ということは成り立たないならば起こし易い fact9: 「もし「尖り立つし剛腕でない」ということは偽だとすれば「食用油である」ということは成り立つ」物はある fact10: もしも「そのショート・ステイは利き難い一方で引っ込めない」ということは誤っていれば起こし易い fact11: もし仮にそのショート・ステイが時系列データだけど御呼びに成らないとしたら引っ込める fact12: もしも「その岩魚は空き領域であるし更に個人参加だ」ということは偽ならそれは起こし易い fact13: もし「なんらかのものは覚めるけれど洒落臭くない」ということは成り立たないとしたら利き難い
fact10 -> hypothesis;
fact10 -> hypothesis;
「「遍歴するし理論的研究でない」ということは誤っているとすると女々しい」ものはある
fact14 -> int1: もし仮に「あの成果物は遍歴するけどそれは理論的研究でない」ということは間違っているとすれば女々しい; int1 -> hypothesis;
$facts$ = fact1: 仮に「そのショート・ステイは小煩くない」ということは成り立つとするとそれは起こし易い fact2: もし仮に「そのショート・ステイは起こし易くて態とらしい」ということは成り立たないならば千円辺りだ fact3: もしも「なにかは遍歴するけれど理論的研究でない」ということは間違いならば女々しい fact4: もしもそのショート・ステイは利き難いけど展開し易くないとすれば小難しい fact5: 「もしも態とらしくて精度管理でないとすると返送する」物はある fact6: 「判別し易くて入れ易いということはないとすれば出揃う」ものはある fact7: 「もし仮に「利き難いしおまけに引っ込める」ということは誤っているとしたら「起こし易い」ということは事実である」ものはある fact8: 仮に「そのショート・ステイは利き難いし更に引っ込める」ということは成り立たないならば起こし易い fact9: 「もし「尖り立つし剛腕でない」ということは偽だとすれば「食用油である」ということは成り立つ」物はある fact10: もしも「そのショート・ステイは利き難い一方で引っ込めない」ということは誤っていれば起こし易い fact11: もし仮にそのショート・ステイが時系列データだけど御呼びに成らないとしたら引っ込める fact12: もしも「その岩魚は空き領域であるし更に個人参加だ」ということは偽ならそれは起こし易い fact13: もし「なんらかのものは覚めるけれど洒落臭くない」ということは成り立たないとしたら利き難い ; $hypothesis$ = 「もし「利き難いし引っ込めない」ということは成り立たないとすれば起こし易い」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮に「そのショート・ステイは小煩くない」ということは成り立つとするとそれは起こし易い
事実2: もし仮に「そのショート・ステイは起こし易くて態とらしい」ということは成り立たないならば千円辺りだ
事実3: もしも「なにかは遍歴するけれど理論的研究でない」ということは間違いならば女々しい
事実4: もしもそのショート・ステイは利き難いけど展開し易くないとすれば小難しい
事実5: 「もしも態とらしくて精度管理でないとすると返送する」物はある
事実6: 「判別し易くて入れ易いということはないとすれば出揃う」ものはある
事実7: 「もし仮に「利き難いしおまけに引っ込める」ということは誤っているとしたら「起こし易い」ということは事実である」ものはある
事実8: 仮に「そのショート・ステイは利き難いし更に引っ込める」ということは成り立たないならば起こし易い
事実9: 「もし「尖り立つし剛腕でない」ということは偽だとすれば「食用油である」ということは成り立つ」物はある
事実10: もしも「そのショート・ステイは利き難い一方で引っ込めない」ということは誤っていれば起こし易い
事実11: もし仮にそのショート・ステイが時系列データだけど御呼びに成らないとしたら引っ込める
事実12: もしも「その岩魚は空き領域であるし更に個人参加だ」ということは偽ならそれは起こし易い
事実13: もし「なんらかのものは覚めるけれど洒落臭くない」ということは成り立たないとしたら利き難い

仮説: 「もし「利き難いし引っ込めない」ということは成り立たないとすれば起こし易い」物はある
1. 事実10から、仮説が導かれる

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