Anne is not big. Anne is cold. Anne is green. Anne is quiet. Anne is smart. Anne is not young. Bob is cold. Bob is red. Bob is smart. Erin is green. Erin is smart. Gary is big. Gary is not green. Gary is quiet. Gary is red. Gary is smart. If someone is green and not quiet then they are not big.
Erin is not red.