All ontologists are logicians. So, all metaphysicians are logicians. Be sure to include the argument form, substitution instance, and a brief explanation as to why the substitution instance provided may properly be called a counterexample. All orange trees are plants. All orange trees are trees.
All plants are trees.
The substitution instance provided may properly be called a counterexample to the argument form, since it contains obviously true premises and an obviously false conclusion. Moreover, the substitution instance follows the proper argument form. At least one person does not love logic. Therefore, there is a person that is not a student. Rewrite each statement in standard categorical form.