Proof Using Logical Consequences