「仮に言及すらないなら落ち難いということはないしそれにエクルビスでない」ものはある
fact1: あのコンビナートが言及すらないとするとそれは落ち難くなくて更にそれはエクルビスだ fact2: もしもあのコンビナートが言及すれば落ち難くなくてまたエクルビスでない fact3: 「「言及すということはない」ということは成り立つなら落ち難くてエクルビスでない」ものはある fact4: もしもとある物が言及すとすればそれは落ち難くなくてエクルビスでない fact5: 「もし仮に「言及すらない」ということは誤りでないならば落ち難くない」ものはある fact6: あのコンビナートが言及すらないならそれは落ち難くない fact7: 「仮に「言及す」ということは真実であるとすれば落ち難くないしエクルビスでない」物はある fact8: 「もしも言及すということはないなら落ち難くなくてその上エクルビスである」物はある fact9: 「仮に言及すということはないならエクルビスだということはない」ものはある fact10: もし仮にとあるものが言及すらないなら落ち難くないしエクルビスであるということはない
fact10 -> int1: もしもあのコンビナートは言及すらないとしたら「それは落ち難くないしエクルビスだということはない」ということは本当である; int1 -> hypothesis;
$facts$ = fact1: あのコンビナートが言及すらないとするとそれは落ち難くなくて更にそれはエクルビスだ fact2: もしもあのコンビナートが言及すれば落ち難くなくてまたエクルビスでない fact3: 「「言及すということはない」ということは成り立つなら落ち難くてエクルビスでない」ものはある fact4: もしもとある物が言及すとすればそれは落ち難くなくてエクルビスでない fact5: 「もし仮に「言及すらない」ということは誤りでないならば落ち難くない」ものはある fact6: あのコンビナートが言及すらないならそれは落ち難くない fact7: 「仮に「言及す」ということは真実であるとすれば落ち難くないしエクルビスでない」物はある fact8: 「もしも言及すということはないなら落ち難くなくてその上エクルビスである」物はある fact9: 「仮に言及すということはないならエクルビスだということはない」ものはある fact10: もし仮にとあるものが言及すらないなら落ち難くないしエクルビスであるということはない ; $hypothesis$ = 「仮に言及すらないなら落ち難いということはないしそれにエクルビスでない」ものはある ; $proof$ = 
fact10 -> int1: もしもあのコンビナートは言及すらないとしたら「それは落ち難くないしエクルビスだということはない」ということは本当である; int1 -> hypothesis; __PROVED__
事実1: あのコンビナートが言及すらないとするとそれは落ち難くなくて更にそれはエクルビスだ
事実2: もしもあのコンビナートが言及すれば落ち難くなくてまたエクルビスでない
事実3: 「「言及すということはない」ということは成り立つなら落ち難くてエクルビスでない」ものはある
事実4: もしもとある物が言及すとすればそれは落ち難くなくてエクルビスでない
事実5: 「もし仮に「言及すらない」ということは誤りでないならば落ち難くない」ものはある
事実6: あのコンビナートが言及すらないならそれは落ち難くない
事実7: 「仮に「言及す」ということは真実であるとすれば落ち難くないしエクルビスでない」物はある
事実8: 「もしも言及すということはないなら落ち難くなくてその上エクルビスである」物はある
事実9: 「仮に言及すということはないならエクルビスだということはない」ものはある
事実10: もし仮にとあるものが言及すらないなら落ち難くないしエクルビスであるということはない

仮説: 「仮に言及すらないなら落ち難いということはないしそれにエクルビスでない」ものはある
1. 事実10から、推論1: "もしもあのコンビナートは言及すらないとしたら「それは落ち難くないしエクルビスだということはない」ということは本当である"が導かれる
2. 推論1から、仮説が導かれる

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