Anne is rough. Dave is cold. Erin is rough. Gary is kind. All white, rough things are kind. If Dave is smart and Dave is kind then Dave is not white. If Erin is kind then Erin is round. If something is not furry then it is kind. All kind things are rough. All round things are not white.
Erin is smart.