Deduction in separate binary, added contraposition and excluded middle proofs
It can prove statements now