If the statement "No aeroplanes are electric vehicles" is given as true, then which of the following statements can be immediately inferred to be true?

If "No aeroplanes are electric vehicles" is true, then "Some aeroplanes are not electric vehicles" is true.

The given statement is a universal negative proposition.

Its subaltern is the particular negative with the same subject and predicate.

What is denied of the whole class is thereby denied of some part of it.

So the truth of the universal negative carries down to the particular negative.

This descent from universal to particular is valid by subalternation.