(For example, from "All dogs are mammals" we may infer "If Rover is a dog then Rover is a mammal".)
（例如，从“所有的狗都是动物”我们可以推出“如果Rover是狗，则Rover是动物”）。