Anne is blue. Bob is green. Charlie is big. Charlie is blue. Charlie is green. Charlie is young. Erin is green. All blue things are rough. Big things are furry. Young, green things are smart. If something is big and rough then it is green. Furry, big things are young. All furry things are rough. All blue things are rough. If something is green and blue then it is rough.
Anne is not green.