Anne is cold. Anne is not furry. Anne is kind. Bob is furry. Bob is green. Gary is green. Gary is not smart. Furry, green things are smart. If Bob is not kind and Bob is not green then Bob is cold. If Bob is furry and Bob is not kind then Bob is cold. Furry, red things are not kind. Cold things are red. If something is big and not green then it is not kind.
Anne is big.