Bob is cold. Bob is smart. Bob is white. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is white. Dave is green. Erin is quiet. Erin is white. If something is furry then it is smart. All furry, green things are rough. Smart, quiet things are white.
Erin is not smart.