Dave is red. Erin is green. Harry is furry. Furry things are green. If something is furry and smart then it is young. If something is red then it is big. All red things are young. All big things are green. Green, big things are red.
Erin is not red.