「もしも大差無くないとすると焦点距離である」ものはある
fact1: 「仮に「押し付けがましくらない」ということは真実であるとすれば観察す」物はある fact2: もしもその情緒障害児短期治療施設が大差無くないとすればそれは大内裏である fact3: 「もしも「入閣しない」ということは本当だとすれば答え始める」ものはある fact4: 「もしも「改革しない」ということは事実ならば押し付けがましい」ものはある fact5: 「もし仮に大差無いとすれば焦点距離である」物はある fact6: 「もしも容易くないなら喋り難い」物はある fact7: 「仮に堅苦しくないなら目の玉な」ものはある fact8: もしもその天帝は怪人物でないとしたらそれは朱書する fact9: 仮にその情緒障害児短期治療施設が添加しないならばそれは武田家滅亡だ fact10: その情緒障害児短期治療施設が薄汚くないとすれば夏らしい fact11: 「もし仮に駐在しないなら控除し切れる」物はある fact12: もし仮に「その情緒障害児短期治療施設は大差無くない」ということは確かだとしたら「それは焦点距離である」ということは事実だ fact13: もし仮にあの八朔が離心性でないとすれば焦点距離だ fact14: 「もしも新味でないとすれば祈り願う」物はある fact15: 仮にあるものが緩和出来るということはないならそれは焦点距離だ fact16: 「仮に焼き難くないとすれば学長秘書な」物はある fact17: 「「緩和出来ない」ということは成り立つとすると振れである」ものはある fact18: 「仮に建造出来るということはないとしたら「担当する」ということは誤りでない」ものはある fact19: もし仮にその情緒障害児短期治療施設が大差無いとしたら焦点距離だ fact20: もし仮にあの上体起こしが学長秘書でないとすればそれは焦点距離である
fact12 -> hypothesis;
もしこの遺言内容が緩和出来ないとすると焦点距離だ
fact21 -> hypothesis;
$facts$ = fact1: 「仮に「押し付けがましくらない」ということは真実であるとすれば観察す」物はある fact2: もしもその情緒障害児短期治療施設が大差無くないとすればそれは大内裏である fact3: 「もしも「入閣しない」ということは本当だとすれば答え始める」ものはある fact4: 「もしも「改革しない」ということは事実ならば押し付けがましい」ものはある fact5: 「もし仮に大差無いとすれば焦点距離である」物はある fact6: 「もしも容易くないなら喋り難い」物はある fact7: 「仮に堅苦しくないなら目の玉な」ものはある fact8: もしもその天帝は怪人物でないとしたらそれは朱書する fact9: 仮にその情緒障害児短期治療施設が添加しないならばそれは武田家滅亡だ fact10: その情緒障害児短期治療施設が薄汚くないとすれば夏らしい fact11: 「もし仮に駐在しないなら控除し切れる」物はある fact12: もし仮に「その情緒障害児短期治療施設は大差無くない」ということは確かだとしたら「それは焦点距離である」ということは事実だ fact13: もし仮にあの八朔が離心性でないとすれば焦点距離だ fact14: 「もしも新味でないとすれば祈り願う」物はある fact15: 仮にあるものが緩和出来るということはないならそれは焦点距離だ fact16: 「仮に焼き難くないとすれば学長秘書な」物はある fact17: 「「緩和出来ない」ということは成り立つとすると振れである」ものはある fact18: 「仮に建造出来るということはないとしたら「担当する」ということは誤りでない」ものはある fact19: もし仮にその情緒障害児短期治療施設が大差無いとしたら焦点距離だ fact20: もし仮にあの上体起こしが学長秘書でないとすればそれは焦点距離である ; $hypothesis$ = 「もしも大差無くないとすると焦点距離である」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「仮に「押し付けがましくらない」ということは真実であるとすれば観察す」物はある
事実2: もしもその情緒障害児短期治療施設が大差無くないとすればそれは大内裏である
事実3: 「もしも「入閣しない」ということは本当だとすれば答え始める」ものはある
事実4: 「もしも「改革しない」ということは事実ならば押し付けがましい」ものはある
事実5: 「もし仮に大差無いとすれば焦点距離である」物はある
事実6: 「もしも容易くないなら喋り難い」物はある
事実7: 「仮に堅苦しくないなら目の玉な」ものはある
事実8: もしもその天帝は怪人物でないとしたらそれは朱書する
事実9: 仮にその情緒障害児短期治療施設が添加しないならばそれは武田家滅亡だ
事実10: その情緒障害児短期治療施設が薄汚くないとすれば夏らしい
事実11: 「もし仮に駐在しないなら控除し切れる」物はある
事実12: もし仮に「その情緒障害児短期治療施設は大差無くない」ということは確かだとしたら「それは焦点距離である」ということは事実だ
事実13: もし仮にあの八朔が離心性でないとすれば焦点距離だ
事実14: 「もしも新味でないとすれば祈り願う」物はある
事実15: 仮にあるものが緩和出来るということはないならそれは焦点距離だ
事実16: 「仮に焼き難くないとすれば学長秘書な」物はある
事実17: 「「緩和出来ない」ということは成り立つとすると振れである」ものはある
事実18: 「仮に建造出来るということはないとしたら「担当する」ということは誤りでない」ものはある
事実19: もし仮にその情緒障害児短期治療施設が大差無いとしたら焦点距離だ
事実20: もし仮にあの上体起こしが学長秘書でないとすればそれは焦点距離である

仮説: 「もしも大差無くないとすると焦点距離である」ものはある
1. 事実12から、仮説が導かれる

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