「もし仮に配慮しないか二等分するか両方ともだとしたら月界だということはない」物はある
fact1: もしなにがしかのものが恭しくないかまたは換骨奪胎すればそれは手酷くない fact2: もしもそのエンジン停止が配慮しないかあるいは二等分するとすると月界だ fact3: 仮にある物が二等分すれば月界でない fact4: 仮になんらかのものが落命しないかあるいは草薙であるかまたはどちらもであるならそれは始まりでない fact5: 「そのエンジン停止は配慮する」ということは成り立つとしたら室内楽でない fact6: 「もしもローラーだということはないかもしくは罹患し易いとすると通い慣れる」物はある fact7: もし仮になにかは配慮するということはないかもしくは二等分するかどちらもだとするとそれは月界でない fact8: もしなにかは仄暗いかあるいは制定改廃であるとすれば生活支援員だということはない fact9: 「もしも二等分するとすれば月界であるということはない」ものはある
fact7 -> int1: 仮にそのエンジン停止が配慮しないかあるいはそれは二等分するかどちらもであるならそれは月界でない; int1 -> hypothesis;
$facts$ = fact1: もしなにがしかのものが恭しくないかまたは換骨奪胎すればそれは手酷くない fact2: もしもそのエンジン停止が配慮しないかあるいは二等分するとすると月界だ fact3: 仮にある物が二等分すれば月界でない fact4: 仮になんらかのものが落命しないかあるいは草薙であるかまたはどちらもであるならそれは始まりでない fact5: 「そのエンジン停止は配慮する」ということは成り立つとしたら室内楽でない fact6: 「もしもローラーだということはないかもしくは罹患し易いとすると通い慣れる」物はある fact7: もし仮になにかは配慮するということはないかもしくは二等分するかどちらもだとするとそれは月界でない fact8: もしなにかは仄暗いかあるいは制定改廃であるとすれば生活支援員だということはない fact9: 「もしも二等分するとすれば月界であるということはない」ものはある ; $hypothesis$ = 「もし仮に配慮しないか二等分するか両方ともだとしたら月界だということはない」物はある ; $proof$ = 
fact7 -> int1: 仮にそのエンジン停止が配慮しないかあるいはそれは二等分するかどちらもであるならそれは月界でない; int1 -> hypothesis; __PROVED__
事実1: もしなにがしかのものが恭しくないかまたは換骨奪胎すればそれは手酷くない
事実2: もしもそのエンジン停止が配慮しないかあるいは二等分するとすると月界だ
事実3: 仮にある物が二等分すれば月界でない
事実4: 仮になんらかのものが落命しないかあるいは草薙であるかまたはどちらもであるならそれは始まりでない
事実5: 「そのエンジン停止は配慮する」ということは成り立つとしたら室内楽でない
事実6: 「もしもローラーだということはないかもしくは罹患し易いとすると通い慣れる」物はある
事実7: もし仮になにかは配慮するということはないかもしくは二等分するかどちらもだとするとそれは月界でない
事実8: もしなにかは仄暗いかあるいは制定改廃であるとすれば生活支援員だということはない
事実9: 「もしも二等分するとすれば月界であるということはない」ものはある

仮説: 「もし仮に配慮しないか二等分するか両方ともだとしたら月界だということはない」物はある
1. 事実7から、推論1: "仮にそのエンジン停止が配慮しないかあるいはそれは二等分するかどちらもであるならそれは月界でない"が導かれる
2. 推論1から、仮説が導かれる

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