Anne is blue. Anne is cold. Anne is furry. Anne is young. Bob is blue. Bob is smart. Bob is young. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is young. If something is furry and green then it is cold. If something is blue then it is furry. If Gary is cold then Gary is round.
Bob is not cold.