Anne is furry. Anne is young. Charlie is green. Charlie is not nice. Gary is not blue. Gary is quiet. Harry is blue. All blue, quiet things are smart. If something is blue and not nice then it is quiet. If Anne is nice then Anne is furry.
Anne is not smart.