Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is round. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Gary is green. Gary is kind. Gary is red. Gary is rough. Gary is smart. If something is red and round then it is nice. If Gary is red then Gary is round. All green, smart things are rough. If something is green and round then it is smart. All red, rough things are kind. If Gary is round then Gary is green.
Anne is smart.