Anne is big. Anne is not green. Anne is kind. Charlie is kind. Charlie is not young. Gary is not kind. Harry is kind. All green things are not smart. If something is cold and not young then it is smart. All young things are cold. If Charlie is kind and Charlie is not young then Charlie is white. If Charlie is cold and Charlie is green then Charlie is big. If something is smart and not kind then it is green. If something is big and not kind then it is not smart. If something is white and not cold then it is green.
Anne is young.