Anne is blue. Anne is cold. Anne is kind. Anne is young. Dave is blue. Dave is not cold. Dave is kind. Dave is round. Dave is white. Dave is young. Gary is not red. Gary is white. Harry is not kind. Harry is round. Harry is white. If something is red and not blue then it is kind. If Anne is white and Anne is round then Anne is red. If something is not kind then it is not red.
Harry is not red.