(For example, from "All dogs are mammals" we may infer "If Rover is a dog then Rover is a mammal".)
(Για παράδειγμα , από το " Όλα τα σκυλιά είναι θηλαστικά " μπορούμε να συμπεράνουμε « Αν ο Rover είναι ένα σκυλί τότε ο Rover είναι ένα θηλαστικό ».)