「もしバランス良いかもしくは催さないかまたはどちらもであるなら白砂だということはない」ものはある
fact1: その関数電卓が諮るかもしくはそれは神経伝達物質でないとすれば「それは催すということはない」ということは誤っていない fact2: 仮にその関数電卓が出し難いかあるいはそれは温度応力でないとするとそれはバランス良いということはない fact3: 「バランス良いなら白砂でない」ものはある fact4: もしその関数電卓は白砂であるかプリンタ用紙でないとしたら「それは出現しない」ということは事実である fact5: もしその関数電卓がバランス良いかまたは催さないかもしくは両方であるとすれば白砂でない fact6: その関数電卓が法律案であるか称え合わないかもしくは両方であるとすれば砕けない fact7: もしもその関数電卓はバランス良いかまたは催すかもしくは両方であるならばそれは白砂でない fact8: 「もしも泥臭いかもしくは十倍しないかまたは両方ともだとすれば習熟しない」ものはある fact9: その関数電卓がバランス良いとすれば白砂でない fact10: 「もしもバランス良いか催さないかまたはどちらもなら白砂な」ものはある fact11: その関数電卓がバランス良いかまたはそれは催さないかあるいはどちらもであるならばそれは白砂である fact12: 暗しかもしくはバランス良くないかあるいは両方である物は弱しない fact13: 仮にあのＳＩデは見聞するかまたは名作でないかあるいはどちらもならそれは軟らか過ぎない fact14: 「もし仮に「催さない」ということは確かだとすれば白砂でない」物はある fact15: もしもその関数電卓が現界であるかもしくはバランス良くないとしたら体当たりしない fact16: 「もし犯し易いかまたは歩き難くないなら御用意しない」物はある fact17: 「もし仮にひもじいかあるいは教育原理でないなら出現するということはない」物はある fact18: 「もしもバランス良いかまたは催すかあるいは両方ともであるとすれば「白砂であるということはない」ということは正しい」ものはある fact19: 仮にその関数電卓は探偵社であるかまたは白砂でないかあるいはどちらもだとしたら「それは是正でない」ということは誤っていない
fact5 -> hypothesis;
もし仮にその関数電卓が暗しかまたはそれはバランス良くないかどちらもならば「それは弱しということはない」ということは事実だ
fact20 -> hypothesis;
$facts$ = fact1: その関数電卓が諮るかもしくはそれは神経伝達物質でないとすれば「それは催すということはない」ということは誤っていない fact2: 仮にその関数電卓が出し難いかあるいはそれは温度応力でないとするとそれはバランス良いということはない fact3: 「バランス良いなら白砂でない」ものはある fact4: もしその関数電卓は白砂であるかプリンタ用紙でないとしたら「それは出現しない」ということは事実である fact5: もしその関数電卓がバランス良いかまたは催さないかもしくは両方であるとすれば白砂でない fact6: その関数電卓が法律案であるか称え合わないかもしくは両方であるとすれば砕けない fact7: もしもその関数電卓はバランス良いかまたは催すかもしくは両方であるならばそれは白砂でない fact8: 「もしも泥臭いかもしくは十倍しないかまたは両方ともだとすれば習熟しない」ものはある fact9: その関数電卓がバランス良いとすれば白砂でない fact10: 「もしもバランス良いか催さないかまたはどちらもなら白砂な」ものはある fact11: その関数電卓がバランス良いかまたはそれは催さないかあるいはどちらもであるならばそれは白砂である fact12: 暗しかもしくはバランス良くないかあるいは両方である物は弱しない fact13: 仮にあのＳＩデは見聞するかまたは名作でないかあるいはどちらもならそれは軟らか過ぎない fact14: 「もし仮に「催さない」ということは確かだとすれば白砂でない」物はある fact15: もしもその関数電卓が現界であるかもしくはバランス良くないとしたら体当たりしない fact16: 「もし犯し易いかまたは歩き難くないなら御用意しない」物はある fact17: 「もし仮にひもじいかあるいは教育原理でないなら出現するということはない」物はある fact18: 「もしもバランス良いかまたは催すかあるいは両方ともであるとすれば「白砂であるということはない」ということは正しい」ものはある fact19: 仮にその関数電卓は探偵社であるかまたは白砂でないかあるいはどちらもだとしたら「それは是正でない」ということは誤っていない ; $hypothesis$ = 「もしバランス良いかもしくは催さないかまたはどちらもであるなら白砂だということはない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: その関数電卓が諮るかもしくはそれは神経伝達物質でないとすれば「それは催すということはない」ということは誤っていない
事実2: 仮にその関数電卓が出し難いかあるいはそれは温度応力でないとするとそれはバランス良いということはない
事実3: 「バランス良いなら白砂でない」ものはある
事実4: もしその関数電卓は白砂であるかプリンタ用紙でないとしたら「それは出現しない」ということは事実である
事実5: もしその関数電卓がバランス良いかまたは催さないかもしくは両方であるとすれば白砂でない
事実6: その関数電卓が法律案であるか称え合わないかもしくは両方であるとすれば砕けない
事実7: もしもその関数電卓はバランス良いかまたは催すかもしくは両方であるならばそれは白砂でない
事実8: 「もしも泥臭いかもしくは十倍しないかまたは両方ともだとすれば習熟しない」ものはある
事実9: その関数電卓がバランス良いとすれば白砂でない
事実10: 「もしもバランス良いか催さないかまたはどちらもなら白砂な」ものはある
事実11: その関数電卓がバランス良いかまたはそれは催さないかあるいはどちらもであるならばそれは白砂である
事実12: 暗しかもしくはバランス良くないかあるいは両方である物は弱しない
事実13: 仮にあのＳＩデは見聞するかまたは名作でないかあるいはどちらもならそれは軟らか過ぎない
事実14: 「もし仮に「催さない」ということは確かだとすれば白砂でない」物はある
事実15: もしもその関数電卓が現界であるかもしくはバランス良くないとしたら体当たりしない
事実16: 「もし犯し易いかまたは歩き難くないなら御用意しない」物はある
事実17: 「もし仮にひもじいかあるいは教育原理でないなら出現するということはない」物はある
事実18: 「もしもバランス良いかまたは催すかあるいは両方ともであるとすれば「白砂であるということはない」ということは正しい」ものはある
事実19: 仮にその関数電卓は探偵社であるかまたは白砂でないかあるいはどちらもだとしたら「それは是正でない」ということは誤っていない

仮説: 「もしバランス良いかもしくは催さないかまたはどちらもであるなら白砂だということはない」ものはある
1. 事実5から、仮説が導かれる

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