Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is smart. Harry is blue. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is smart. Harry is white. If something is kind and not blue then it is nice. If something is kind then it is red. All blue things are red. If something is blue and not round then it is white. If something is smart and not blue then it is red. If something is not red then it is smart.
Gary is blue.