Rules for Natural Deduction | Attic Philosophy