Update Proof.java
Merge pull request #28 from okinm117/patch-10

Update Proof Added find Consequent.java