Anne is cold. Anne is not furry. Anne is white. Bob is nice. Gary is cold. Gary is nice. Gary is red. Harry is big. Harry is green. Harry is nice. All furry, green people are white. If someone is not red and not white then they are big.
Anne is not nice.