Dave is blue. Dave is white. Erin is red. Blue, green things are red. If Erin is smart and Erin is white then Erin is red. If Dave is big and Dave is blue then Dave is rough. All red things are rough. If Dave is white then Dave is green. Blue things are white.
Erin is not rough.