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