Made proof rules into one class to make it easier to add new rules