このイタリア・ルネッサンスは木らしいしまた進み過ぎる
fact1: もしこのイタリア・ルネッサンスは虚飾でないとすると木らしい fact2: もしこのサンクスアンドアソシエイツが当権派だとしたらそれは上がり易い fact3: 仮にこのイタリア・ルネッサンスは虚飾でないとすると木らしいしおまけに進み過ぎる fact4: 仮にこのＯＶが涼しかないとしたらそれは上がり易いししかも当権派だ fact5: このイタリア・ルネッサンスは虚飾であるということはない fact6: あの尖閣列島はジカルコゲニドであるしその上言い難い fact7: 仮に何らかのものが虚飾であるかもしくはそれは等しないかまたは両方であるとしたらそれは進み過ぎない fact8: 上がり易いものは虚飾であるかまたは等しないかもしくは両方ともだ
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
このＯＶは進み過ぎない
fact9 -> int1: 仮にこのＯＶは虚飾であるかまたは等しないかまたは両方であるとすればそれは進み過ぎない; fact11 -> int2: このＯＶが上がり易いとしたらそれは虚飾であるかあるいは等しないかあるいは両方だ;
$facts$ = fact1: もしこのイタリア・ルネッサンスは虚飾でないとすると木らしい fact2: もしこのサンクスアンドアソシエイツが当権派だとしたらそれは上がり易い fact3: 仮にこのイタリア・ルネッサンスは虚飾でないとすると木らしいしおまけに進み過ぎる fact4: 仮にこのＯＶが涼しかないとしたらそれは上がり易いししかも当権派だ fact5: このイタリア・ルネッサンスは虚飾であるということはない fact6: あの尖閣列島はジカルコゲニドであるしその上言い難い fact7: 仮に何らかのものが虚飾であるかもしくはそれは等しないかまたは両方であるとしたらそれは進み過ぎない fact8: 上がり易いものは虚飾であるかまたは等しないかもしくは両方ともだ ; $hypothesis$ = このイタリア・ルネッサンスは木らしいしまた進み過ぎる ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: もしこのイタリア・ルネッサンスは虚飾でないとすると木らしい
事実2: もしこのサンクスアンドアソシエイツが当権派だとしたらそれは上がり易い
事実3: 仮にこのイタリア・ルネッサンスは虚飾でないとすると木らしいしおまけに進み過ぎる
事実4: 仮にこのＯＶが涼しかないとしたらそれは上がり易いししかも当権派だ
事実5: このイタリア・ルネッサンスは虚飾であるということはない
事実6: あの尖閣列島はジカルコゲニドであるしその上言い難い
事実7: 仮に何らかのものが虚飾であるかもしくはそれは等しないかまたは両方であるとしたらそれは進み過ぎない
事実8: 上がり易いものは虚飾であるかまたは等しないかもしくは両方ともだ

仮説: このイタリア・ルネッサンスは木らしいしまた進み過ぎる
1. 事実3と事実5から、仮説が導かれる

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