Consider the following argument:

No man is an island. Manhattan is an island. Therefore, Manhattan is not a man.

Using the predicates $I(x)="x$ is an island" and $M(x)="x$ is a man", defined on the set of all objects, formalize the argument by breaking it down to the level of elementary argument forms. Do this by making a suitable selection at each of the following steps.

Identify the premises first. Then pick the conclusions that follow according a rule of inference and identify the rule of inference in parentheses.

$(1^{st}$ premise