If the statement 'No philosophers are industrialists' is given as true, which of the following statements can be immediately inferred from it to be true?

Some philosophers are not industrialists follows once the E proposition is true.

The given statement No philosophers are industrialists is a universal negative E.

Its subaltern is the particular negative O, Some philosophers are not industrialists.

By subalternation the truth of the universal E carries down to its particular O.

A universal negative always entails its corresponding particular negative under subalternation.