Anne is kind. Anne is round. Anne is smart. Anne is white. Anne is young. Charlie is kind. Charlie is not round. Charlie is white. Charlie is young. Gary is not blue. Gary is kind. Gary is red. Gary is round. Gary is not smart. Gary is white. Gary is not young. If something is not round then it is smart. Blue things are white.
Charlie is not smart.