Anne is cold. Anne is red. Anne is not rough. Anne is smart. Anne is white. Dave is not rough. Gary is blue. Gary is cold. Gary is red. Gary is not round. If someone is blue then they are smart. All blue, round people are white. If Dave is cold then Dave is round.
Gary is smart.