Natural Deduction In First Order Star