Anne is blue. Anne is cold. Anne is green. Anne is red. Bob is furry. Bob is red. Erin is not blue. Erin is furry. Erin is green. Harry is cold. All furry things are red. If something is not smart then it is green. Cold things are blue. Blue things are furry. If Anne is furry and Anne is green then Anne is big. If Harry is smart then Harry is not furry. If Harry is smart and Harry is not green then Harry is cold. If something is not cold then it is big.
Bob is not cold.