Anne is nice. Erin is kind. Gary is quiet. Harry is not big. Round, quiet things are big. If something is kind and big then it is green. Cold things are not kind. If something is big then it is not cold. All kind things are green. If something is round and nice then it is not quiet.
Erin is not green.