Anne is cold. Anne is furry. Anne is quiet. Anne is red. Bob is not big. Bob is cold. Bob is not furry. Bob is green. Bob is quiet. Bob is red. Quiet people are green. All blue, big people are quiet. Big people are not furry. If someone is red then they are not big. If someone is red then they are quiet. If someone is furry and not blue then they are not big.
Anne is blue.