added Coq proof for Inconsistency without first conjunct in Essence