Anne is kind. Anne is rough. Dave is round. Gary is kind. Gary is red. Gary is round. Harry is round. If Anne is kind and Anne is red then Anne is white. Kind, rough people are cold. All round people are rough. If someone is cold and white then they are rough. All round people are young. If Dave is rough then Dave is cold. Kind people are round. All kind, red people are round.
Anne is not red.