その香城は上がり易い
fact1: もしなにかは八曲なら「それは上がり易いということはないけど副菜である」ということは成り立たない fact2: 全ては上がり易い
fact2 -> hypothesis;
fact2 -> hypothesis;
その香城は上がり易くない
fact3 -> int1: あの五月時点は八曲だとしたら「それは上がり易くないけれど副菜だ」ということは真実だということはない;
$facts$ = fact1: もしなにかは八曲なら「それは上がり易いということはないけど副菜である」ということは成り立たない fact2: 全ては上がり易い ; $hypothesis$ = その香城は上がり易い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしなにかは八曲なら「それは上がり易いということはないけど副菜である」ということは成り立たない
事実2: 全ては上がり易い

仮説: その香城は上がり易い
1. 事実2から、仮説が導かれる

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