me with this math problem(explain well), .

4. formalize the following argument by using the given predicates and then rewriting the argument as a numbered sequence of statements. identify each statement as either a premise, or a conclusion that follows according to a rule of inference from previous statements. in that case, state the rule of inference and refer by number to the previous statements that the rule of inference used.

(a) everybody who is at least 16 years old can get driver licence. azul does not have a driver licence yet. therefore, azul is less than 16 years old.

predicates: s(x)= x is at least 16 years old, d(x)=x can get a driver licence". the domain of discourse is all people.