「この機械文明は悔い改めない」ということは本当だ
fact1: その電子証明書は出入りし易い fact2: もし「その電子証明書は出入りし易い」ということは事実だとしたらこの機械文明は悔い改める
$facts$ = fact1: その電子証明書は出入りし易い fact2: もし「その電子証明書は出入りし易い」ということは事実だとしたらこの機械文明は悔い改める ; $hypothesis$ = 「この機械文明は悔い改めない」ということは本当だ ; $proof$ = 
事実1: その電子証明書は出入りし易い
事実2: もし「その電子証明書は出入りし易い」ということは事実だとしたらこの機械文明は悔い改める

仮説: 「この機械文明は悔い改めない」ということは本当だ