あの山菜取りは恍ける
fact1: もしもあるものが一般口座ならば恍ける fact2: このネオは恍ける fact3: あの山菜取りは恍ける fact4: もし「なんらかのものは一般口座でなくておまけに五十五年基準でない」ということは真実であるということはないとすれば「一般口座だ」ということは誤りでない
fact3 -> hypothesis;
fact3 -> hypothesis;
あの四月号は恍ける
fact5 -> int1: あの四月号は一般口座であるならそれは恍ける; fact6 -> int2: 「あの四月号は一般口座でないし五十五年基準であるということはない」ということは成り立たないならそれは一般口座だ;
$facts$ = fact1: もしもあるものが一般口座ならば恍ける fact2: このネオは恍ける fact3: あの山菜取りは恍ける fact4: もし「なんらかのものは一般口座でなくておまけに五十五年基準でない」ということは真実であるということはないとすれば「一般口座だ」ということは誤りでない ; $hypothesis$ = あの山菜取りは恍ける ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもあるものが一般口座ならば恍ける
事実2: このネオは恍ける
事実3: あの山菜取りは恍ける
事実4: もし「なんらかのものは一般口座でなくておまけに五十五年基準でない」ということは真実であるということはないとすれば「一般口座だ」ということは誤りでない

仮説: あの山菜取りは恍ける
1. 事実3から、仮説が導かれる

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