Anne is cold. Anne is red. Bob is red. Bob is rough. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is rough. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is white. Dave is young. If something is nice then it is rough. All red things are nice.
Anne is not rough.