Natural Deduction First Order Logic