Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is smart. Dave is furry. Dave is green. Dave is rough. Dave is round. If something is furry and rough then it is smart. If Dave is furry then Dave is quiet. If Charlie is round then Charlie is furry. Quiet things are cold. All quiet, round things are furry. Furry, green things are rough.
Charlie is not smart.