あの一般意思は敵中深い
fact1: あの一般意思は敵中深い fact2: もし「ある物は追加するかまたは特筆する」ということは間違っていればそれは敵中深くない
fact1 -> hypothesis;
fact1 -> hypothesis;
あの一般意思は敵中深くない
fact3 -> int1: 仮に「あの一般意思は追加するかそれは特筆するかあるいは両方ともである」ということは嘘だとしたらそれは敵中深くない;
$facts$ = fact1: あの一般意思は敵中深い fact2: もし「ある物は追加するかまたは特筆する」ということは間違っていればそれは敵中深くない ; $hypothesis$ = あの一般意思は敵中深い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの一般意思は敵中深い
事実2: もし「ある物は追加するかまたは特筆する」ということは間違っていればそれは敵中深くない

仮説: あの一般意思は敵中深い
1. 事実1から、仮説が導かれる

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