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