Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is not round. Anne is not smart. Charlie is not green. Charlie is red. Erin is green. Erin is not kind. Erin is round. Gary is kind. Gary is quiet. Gary is red. Gary is round. All kind, young things are green. If something is round then it is smart. If something is kind then it is red. All smart things are young. If something is kind and not round then it is quiet. All quiet things are green. If something is green and not quiet then it is young. If something is round and not young then it is red.
Charlie is round.