Anne is green. Anne is kind. Erin is blue. Erin is cold. Erin is not green. Erin is kind. Erin is young. Gary is green. Gary is smart. Harry is smart. If someone is green and not cold then they are big. If Gary is big then Gary is young. All cold people are blue.
Gary is not young.