Anne is cold. Anne is furry. Anne is not green. Anne is rough. Erin is cold. Erin is rough. Gary is cold. If someone is red then they are not furry. If someone is not quiet then they are not big. Furry, green people are not rough. If Erin is quiet and Erin is rough then Erin is not green. Green people are rough. If Gary is green and Gary is not big then Gary is red.
Anne is not big.