Anne is blue. Anne is cold. Anne is nice. Anne is rough. Anne is round. Bob is blue. Bob is furry. Bob is not nice. Bob is rough. Bob is not round. Bob is young. Charlie is cold. Charlie is furry. Erin is furry. Erin is young. All blue things are rough. All young things are cold. If something is rough and not nice then it is blue. Young, cold things are furry. If something is blue and young then it is cold. If something is nice then it is young. All cold things are furry. If something is cold and not young then it is rough.
Erin is not blue.