Update Proof.java

This program runs well, BUT there are some glaring issues that cannot be solved in its current state with the time we have. Look at it, fix it, do whatever. But I am content that the code is at least passing.