Charlie is big. Charlie is nice. Charlie is round. Dave is kind. Dave is red. Dave is white. Gary is nice. Gary is round. Harry is big. Harry is not red. Harry is not rough. Harry is white. All red things are nice. If something is not big then it is red. Red, nice things are round. If Harry is kind then Harry is not rough. If something is red and not nice then it is round. If something is not red then it is round. If something is nice and not red then it is round. If something is not kind and not round then it is not nice.
Gary is not red.