If the proposition-"No mammals are aquatic animals" is given as true, then which of the following propositions can be directly inferred from it?
1
Some mammals are not aquatic animals.
2
Some aquatic animals are mammals.
3
Some mammals are non-animals
4
Some non-mammals live in water