Suppose A slug is a terrestrial gastropod mollusk without a shell, specifically, a land slug. Like all other gastropods, the slug is a member of the class Gastropoda. It is characterized by its slime production and its lack of a protective external shell.
Can we infer that "All snails have shells."? Yes, no, or maybe?