Anne is cold. Anne is green. Anne is young. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is round. Gary is smart. Gary is young. All round, big people are green. If someone is green then they are round. If Gary is cold then Gary is young. All green, cold people are furry. If someone is smart and cold then they are young. If someone is furry then they are green.
Anne is not smart.