Anne is cold. Anne is quiet. Anne is rough. Bob is cold. Bob is kind. Dave is blue. Dave is cold. Dave is rough. Dave is smart. Dave is white. Smart things are cold. All cold, white things are rough. If something is kind and rough then it is smart.
Anne is not smart.