Anne is cold. Anne is kind. Bob is cold. Bob is kind. Bob is round. Bob is white. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Gary is furry. Gary is rough. All round things are rough. Furry things are kind. If something is round and cold then it is rough.
Charlie is not rough.