User:Lord Farin/Sandbox/Proof Rules/Definition:Natural Deduction/Rules of Inference