「もし例外無くないとしたら駆け回るかまたは御付き合いしないかもしくはどちらもである」物はある
fact1: 「もし例外無いとすると駆け回るかあるいは御付き合いしないかあるいは両方である」物はある fact2: 仮にあの好酸性鉄酸化細菌が例外無いとしたらそれは駆け回るか御付き合いするということはないかもしくは両方ともだ fact3: もしもあの好酸性鉄酸化細菌が例外無くないとすればそれは駆け回るかまたはそれは御付き合いしない fact4: あの好酸性鉄酸化細菌が例外無いということはないとしたら援交であるかまたは飛行しない fact5: もしもあの好酸性鉄酸化細菌がグラフオプションでないならば御付き合いするかあるいはそれは気高くないか両方だ fact6: もし仮にあの夕立は二宗でないなら別居するか駆け回るということはない fact7: もしもこの一枚刷りが悲しくないならばしがないかあるいは入院費でないかもしくはどちらもだ fact8: 「もし例外無くないとすれば駆け回るかあるいは御付き合いするかあるいは両方である」物はある fact9: もし仮にこのインターネット・ビレッジ・センターは操作し易くないなら駆け回るかもしくは分解され難くない fact10: 「「仮に雪深くないならベベルであるかあるいは感知出来ないかどちらもである」ものはある」ということは正しい fact11: 作り易くない物は太しかもしくは五歳児でないか両方ともだ fact12: もし「あの好酸性鉄酸化細菌は例外無くない」ということは成り立てばそれは駆け回るかあるいは御付き合いする
fact3 -> hypothesis;
fact3 -> hypothesis;
「もし仮に作り易くないなら太しかまたは五歳児でない」ものはある
fact13 -> int1: 仮にその同情心が作り易いということはないとすればそれは太しかもしくは五歳児でないかまたは両方だ; int1 -> hypothesis;
$facts$ = fact1: 「もし例外無いとすると駆け回るかあるいは御付き合いしないかあるいは両方である」物はある fact2: 仮にあの好酸性鉄酸化細菌が例外無いとしたらそれは駆け回るか御付き合いするということはないかもしくは両方ともだ fact3: もしもあの好酸性鉄酸化細菌が例外無くないとすればそれは駆け回るかまたはそれは御付き合いしない fact4: あの好酸性鉄酸化細菌が例外無いということはないとしたら援交であるかまたは飛行しない fact5: もしもあの好酸性鉄酸化細菌がグラフオプションでないならば御付き合いするかあるいはそれは気高くないか両方だ fact6: もし仮にあの夕立は二宗でないなら別居するか駆け回るということはない fact7: もしもこの一枚刷りが悲しくないならばしがないかあるいは入院費でないかもしくはどちらもだ fact8: 「もし例外無くないとすれば駆け回るかあるいは御付き合いするかあるいは両方である」物はある fact9: もし仮にこのインターネット・ビレッジ・センターは操作し易くないなら駆け回るかもしくは分解され難くない fact10: 「「仮に雪深くないならベベルであるかあるいは感知出来ないかどちらもである」ものはある」ということは正しい fact11: 作り易くない物は太しかもしくは五歳児でないか両方ともだ fact12: もし「あの好酸性鉄酸化細菌は例外無くない」ということは成り立てばそれは駆け回るかあるいは御付き合いする ; $hypothesis$ = 「もし例外無くないとしたら駆け回るかまたは御付き合いしないかもしくはどちらもである」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし例外無いとすると駆け回るかあるいは御付き合いしないかあるいは両方である」物はある
事実2: 仮にあの好酸性鉄酸化細菌が例外無いとしたらそれは駆け回るか御付き合いするということはないかもしくは両方ともだ
事実3: もしもあの好酸性鉄酸化細菌が例外無くないとすればそれは駆け回るかまたはそれは御付き合いしない
事実4: あの好酸性鉄酸化細菌が例外無いということはないとしたら援交であるかまたは飛行しない
事実5: もしもあの好酸性鉄酸化細菌がグラフオプションでないならば御付き合いするかあるいはそれは気高くないか両方だ
事実6: もし仮にあの夕立は二宗でないなら別居するか駆け回るということはない
事実7: もしもこの一枚刷りが悲しくないならばしがないかあるいは入院費でないかもしくはどちらもだ
事実8: 「もし例外無くないとすれば駆け回るかあるいは御付き合いするかあるいは両方である」物はある
事実9: もし仮にこのインターネット・ビレッジ・センターは操作し易くないなら駆け回るかもしくは分解され難くない
事実10: 「「仮に雪深くないならベベルであるかあるいは感知出来ないかどちらもである」ものはある」ということは正しい
事実11: 作り易くない物は太しかもしくは五歳児でないか両方ともだ
事実12: もし「あの好酸性鉄酸化細菌は例外無くない」ということは成り立てばそれは駆け回るかあるいは御付き合いする

仮説: 「もし例外無くないとしたら駆け回るかまたは御付き合いしないかもしくはどちらもである」物はある
1. 事実3から、仮説が導かれる

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