Aristotle's Natural Deduction System