Dave is smart. Gary is blue. All big things are white. If Gary is round then Gary is smart. Red things are blue. If Dave is blue then Dave is rough. If something is not rough then it is round. If something is smart and not rough then it is white.
Gary is white.