Bob is not furry. Bob is kind. Charlie is not nice. Charlie is rough. Charlie is smart. Charlie is not young. Gary is nice. Gary is smart. Harry is not nice. Harry is red. Harry is smart. Harry is not young. If Gary is not nice then Gary is red.
Gary is not red.