Charlie is white. Gary is not nice. Gary is round. Smart things are nice. If Charlie is white and Charlie is green then Charlie is rough. All nice things are white. All rough, round things are green. All round things are big. All big, white things are not green. If something is not green then it is white. If something is not nice then it is round.
Gary is rough.