Dave is blue. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is smart. Gary is kind. Gary is red. Gary is not round. Gary is white. If something is red and blue then it is round. If Gary is kind then Gary is smart.
Gary is smart.