Anne is blue. Anne is furry. Anne is not kind. Anne is smart. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is not smart. Bob is young. Erin is furry. Harry is young. All kind, young things are not furry. Smart, young things are cold. All smart things are blue. If something is smart then it is cold. Young, smart things are cold. If something is kind then it is cold. If something is not cold then it is not blue. If something is smart and not blue then it is not young.
Anne is not blue.