Anne is big. Charlie is big. Gary is not cold. Gary is smart. Harry is green. Harry is kind. Harry is smart. Rough people are smart. If someone is big and smart then they are green. If someone is big then they are nice. Smart, green people are cold. If Charlie is nice then Charlie is rough. Smart, cold people are green. If Charlie is big and Charlie is not nice then Charlie is not green. If someone is nice and not green then they are not cold.
Anne is not smart.