Anne is big. Anne is blue. Anne is kind. Anne is rough. Anne is white. Dave is big. Dave is blue. Dave is rough. Erin is big. Erin is white. Big people are white. If Anne is white then Anne is blue.
Erin is not rough.