Erin is green. Erin is smart. Gary is blue. Gary is cold. Gary is smart. Gary is young. Harry is blue. Harry is green. Harry is smart. Harry is young. If Gary is cold then Gary is round. If Harry is cold then Harry is blue.
Gary is not round.