Bob is blue. Bob is furry. Bob is round. Bob is smart. Bob is white. Dave is furry. Erin is blue. Erin is furry. Erin is green. Erin is round. Erin is white. Harry is smart. All blue things are green. Furry things are blue. If something is round then it is red. Furry, blue things are white. Round things are green. All red things are smart. All smart, green things are round. If something is smart then it is green.
Erin is not red.