Natural Deduction Proofs: practise examples | Attic Philosophy