Charlie is red. Charlie is smart. Dave is blue. Dave is nice. Dave is red. Dave is rough. Dave is white. Erin is kind. Erin is nice. Erin is rough. Erin is smart. Erin is white. Gary is blue. Gary is kind. Gary is nice. Gary is red. All smart, rough people are red. If Erin is smart then Erin is kind. If someone is smart and rough then they are blue.
Charlie is red.