If the statement 'No squares are circles' is given as true, which of the following statements can be immediately inferred to be false? Choose the correct answer from the options given below.

From the true 'No squares are circles', the affirmative claims that squares are circles come out false.

A true E proposition is the universal negative denying any overlap between the two classes.

Its contrary, the A proposition 'All squares are circles', must then be false.

Its contradictory, the I proposition 'Some squares are circles', is likewise false.

These follow directly from the relations of contrariety and contradiction in the square of opposition.

The universal negative rules out every affirmative statement of overlap between squares and circles.