Anne is big. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Charlie is quiet. Charlie is red. Charlie is round. Gary is big. Gary is rough. If Charlie is red then Charlie is quiet. Quiet, rough people are round.
Gary is not round.