Anne is red. Anne is round. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Dave is kind. Gary is cold. Gary is kind. Gary is red. Gary is rough. All cold, round people are rough. All kind, rough people are furry. If Gary is round and Gary is nice then Gary is rough. All kind people are round. Round people are nice. If Charlie is rough then Charlie is round. If Gary is cold and Gary is round then Gary is rough. If someone is nice then they are cold. Rough people are round.
Anne is not kind.