Formal Proof Of Validity Calculator