DM.LR.2.d: Use the rules of inference to construct direct proofs and proofs by contradiction.