If the statement 'Some animals are not ferocious' is given as true, then which of the following could be immediately inferred from it?

The inferable results are that 'No animals are ferocious' is undetermined and 'All animals are ferocious' is false.

The given proposition is O type, 'Some S is not P', taken as true.

Its contradictory is A, 'All S is P'; contradictories have opposite values, so with O true, A is false.

That yields 'All animals are ferocious' as false.

E, 'No S is P', is the universal standing above this true particular, and a true particular cannot fix the truth of its universal, leaving 'No animals are ferocious' undetermined.