Charlie is red. Charlie is white. Dave is rough. Fiona is red. Fiona is rough. Fiona is round. Gary is not red. If Fiona is nice and Fiona is not big then Fiona is cold. If Gary is nice and Gary is not white then Gary is rough. White things are nice. If Gary is white and Gary is not round then Gary is red. If something is big and not nice then it is cold. If something is not red then it is not round.
Gary is not red.