「仮に「エクルビスでないししかも鬱陶しかない」ということは成り立つとすれば魂消るということはない」物はある
fact1: 仮にあるものが入れ墨するということはなくてそれが出来難くないなら上昇し易くない fact2: もしこの室内プールがエクルビスでなくてしかも鬱陶しいということはないとすれば魂消ない fact3: この室内プールはエクルビスでないが鬱陶しいとすればそれは魂消ない fact4: 「仮に第二四半期でないしかつ初代大統領だということはないとしたら多くない」ものはある
fact2 -> hypothesis;
「もし仮に入れ墨しなくてそれに出来難いということはないとすると上昇し易くない」物はある
fact5 -> int1: その引火性は入れ墨しなくておまけに出来難いということはないとすると上昇し易くない; int1 -> hypothesis;
$facts$ = fact1: 仮にあるものが入れ墨するということはなくてそれが出来難くないなら上昇し易くない fact2: もしこの室内プールがエクルビスでなくてしかも鬱陶しいということはないとすれば魂消ない fact3: この室内プールはエクルビスでないが鬱陶しいとすればそれは魂消ない fact4: 「仮に第二四半期でないしかつ初代大統領だということはないとしたら多くない」ものはある ; $hypothesis$ = 「仮に「エクルビスでないししかも鬱陶しかない」ということは成り立つとすれば魂消るということはない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にあるものが入れ墨するということはなくてそれが出来難くないなら上昇し易くない
事実2: もしこの室内プールがエクルビスでなくてしかも鬱陶しいということはないとすれば魂消ない
事実3: この室内プールはエクルビスでないが鬱陶しいとすればそれは魂消ない
事実4: 「仮に第二四半期でないしかつ初代大統領だということはないとしたら多くない」ものはある

仮説: 「仮に「エクルビスでないししかも鬱陶しかない」ということは成り立つとすれば魂消るということはない」物はある
1. 事実2から、仮説が導かれる

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