Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is nice. Gary is kind. Gary is red. If something is nice and not smart then it is red. All green things are kind. If Anne is smart and Anne is kind then Anne is not green. If something is nice and not green then it is not kind. If Anne is not blue then Anne is nice. If something is not kind then it is nice.
Gary is green.