 If we allow ‘necessarily’ to have ‘bachelors’ etc. within its scope, P2 is true but the conclusion is not entailed. If the modal is interpreted narrowly, the conclusion follows but P2 is false and so is the conclusion.