Anne is smart. Dave is kind. Dave is nice. Dave is round. Erin is kind. Erin is nice. Gary is smart. All smart, round people are green. If Anne is nice and Anne is smart then Anne is round. Kind people are smart. All kind, smart people are red. All nice, quiet people are green. All green, round people are smart.
Erin is not red.