あの国家レベルは旨し
fact1: あの国家レベルは如何にする fact2: あの離心性は旨し fact3: どれもこれもは秘めなくてかつ道徳的人格でない fact4: 「何かは如何にするかまたは秘めない」ということは確かでないならばそれは旨しない fact5: あの国家レベルは如何にするしその上旨し
fact5 -> hypothesis;
fact5 -> hypothesis;
あの国家レベルは旨しない
fact6 -> int1: もし「あの国家レベルは如何にするかまたはそれは秘めないかもしくはどちらもである」ということは本当でないとしたらそれは旨しない;
$facts$ = fact1: あの国家レベルは如何にする fact2: あの離心性は旨し fact3: どれもこれもは秘めなくてかつ道徳的人格でない fact4: 「何かは如何にするかまたは秘めない」ということは確かでないならばそれは旨しない fact5: あの国家レベルは如何にするしその上旨し ; $hypothesis$ = あの国家レベルは旨し ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの国家レベルは如何にする
事実2: あの離心性は旨し
事実3: どれもこれもは秘めなくてかつ道徳的人格でない
事実4: 「何かは如何にするかまたは秘めない」ということは確かでないならばそれは旨しない
事実5: あの国家レベルは如何にするしその上旨し

仮説: あの国家レベルは旨し
1. 事実5から、仮説が導かれる

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