Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Charlie is red. Charlie is round. Gary is rough. Gary is round. If something is smart then it is young. All red things are smart. If Charlie is young then Charlie is rough.
Gary is not red.