Anne is not nice. Dave is rough. Harry is not rough. If something is red and kind then it is white. All nice things are kind. All red things are young. If Harry is young then Harry is not nice. Young things are white. If Dave is rough then Dave is blue. If something is nice and not blue then it is kind. If something is blue and not white then it is nice.
Anne is not red.