Dave is red. Erin is green. Gary is green. Harry is rough. Blue, rough people are nice. Green people are blue. All rough people are red. Rough, furry people are nice. If someone is green and blue then they are smart. All nice, green people are furry.
Erin is not green.