「もしも異性体であるということはないかまたは惨くないなら共しない」物はある
fact1: 「眩くないかまたは操業しないなら巻頭言である」物はある fact2: 「もしも密輸入でないかあるいは使用し難いということはないか両方ともであるならば着艦する」ものはある fact3: 仮にとあるものが大人っぽくないかまたはそれは分配出来ないかもしくは両方ともであるならば「それは青しない」ということは成り立つ fact4: その悪徳業者は共するかまたは論語集注でないかもしくは両方ともだとしたらそれは耐酸・耐熱性でない fact5: もしも「この超古代は異性体だということはないかもしくはそれは惨くない」ということは成り立つとするとそれは共しない fact6: 「仮に「内地であるということはない」ということは本当であるならば如才無くない」ものはある fact7: 「聖杯派であるかあるいは肥満解消でないかあるいは両方であるとすると肥料商だということはない」物はある fact8: 「もし仮に景気刺激策でないとしたら跋扈しない」ものはある fact9: 「惨いということはないとすれば「共するということはない」ということは正しい」ものはある fact10: 「もし仮に誤り無くないとしたら治癒判定でない」ものはある fact11: 「「もし御悪くないかもしくは青草であるかまたはどちらもであるなら京都らしくない」物はある」ということは事実だ fact12: 「仮にサルコイドーシスでないかあるいは持ち込めるかあるいは両方だとすると邪魔しない」物はある fact13: もしこの超古代は荒廃しないかもしくは取り掛かり易くないかもしくはどちらもであるなら異性体でない fact14: 「「使い熟さない」ということは成り立つとすると意思決定しない」物はある
fact5 -> hypothesis;
「もし仮に大人っぽくないか分配出来ないかどちらもであるとすれば青しない」物はある
fact15 -> int1: 「「この平安遷都は大人っぽくないか分配出来ないかもしくは両方ともだ」ということは確かならばこの平安遷都は青しない」ということは本当である; int1 -> hypothesis;
$facts$ = fact1: 「眩くないかまたは操業しないなら巻頭言である」物はある fact2: 「もしも密輸入でないかあるいは使用し難いということはないか両方ともであるならば着艦する」ものはある fact3: 仮にとあるものが大人っぽくないかまたはそれは分配出来ないかもしくは両方ともであるならば「それは青しない」ということは成り立つ fact4: その悪徳業者は共するかまたは論語集注でないかもしくは両方ともだとしたらそれは耐酸・耐熱性でない fact5: もしも「この超古代は異性体だということはないかもしくはそれは惨くない」ということは成り立つとするとそれは共しない fact6: 「仮に「内地であるということはない」ということは本当であるならば如才無くない」ものはある fact7: 「聖杯派であるかあるいは肥満解消でないかあるいは両方であるとすると肥料商だということはない」物はある fact8: 「もし仮に景気刺激策でないとしたら跋扈しない」ものはある fact9: 「惨いということはないとすれば「共するということはない」ということは正しい」ものはある fact10: 「もし仮に誤り無くないとしたら治癒判定でない」ものはある fact11: 「「もし御悪くないかもしくは青草であるかまたはどちらもであるなら京都らしくない」物はある」ということは事実だ fact12: 「仮にサルコイドーシスでないかあるいは持ち込めるかあるいは両方だとすると邪魔しない」物はある fact13: もしこの超古代は荒廃しないかもしくは取り掛かり易くないかもしくはどちらもであるなら異性体でない fact14: 「「使い熟さない」ということは成り立つとすると意思決定しない」物はある ; $hypothesis$ = 「もしも異性体であるということはないかまたは惨くないなら共しない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「眩くないかまたは操業しないなら巻頭言である」物はある
事実2: 「もしも密輸入でないかあるいは使用し難いということはないか両方ともであるならば着艦する」ものはある
事実3: 仮にとあるものが大人っぽくないかまたはそれは分配出来ないかもしくは両方ともであるならば「それは青しない」ということは成り立つ
事実4: その悪徳業者は共するかまたは論語集注でないかもしくは両方ともだとしたらそれは耐酸・耐熱性でない
事実5: もしも「この超古代は異性体だということはないかもしくはそれは惨くない」ということは成り立つとするとそれは共しない
事実6: 「仮に「内地であるということはない」ということは本当であるならば如才無くない」ものはある
事実7: 「聖杯派であるかあるいは肥満解消でないかあるいは両方であるとすると肥料商だということはない」物はある
事実8: 「もし仮に景気刺激策でないとしたら跋扈しない」ものはある
事実9: 「惨いということはないとすれば「共するということはない」ということは正しい」ものはある
事実10: 「もし仮に誤り無くないとしたら治癒判定でない」ものはある
事実11: 「「もし御悪くないかもしくは青草であるかまたはどちらもであるなら京都らしくない」物はある」ということは事実だ
事実12: 「仮にサルコイドーシスでないかあるいは持ち込めるかあるいは両方だとすると邪魔しない」物はある
事実13: もしこの超古代は荒廃しないかもしくは取り掛かり易くないかもしくはどちらもであるなら異性体でない
事実14: 「「使い熟さない」ということは成り立つとすると意思決定しない」物はある

仮説: 「もしも異性体であるということはないかまたは惨くないなら共しない」物はある
1. 事実5から、仮説が導かれる

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