Anne is big. Anne is not blue. Anne is not furry. Anne is green. Anne is quiet. Anne is not smart. Anne is white. Big things are white. Blue things are not big. All furry things are green. If Anne is furry then Anne is not white. If something is furry and not blue then it is quiet. If Anne is not big then Anne is not quiet.
Anne is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple4)] Anne is not blue.[(triple2)] Anne is not furry.[(triple3)] Anne is not smart.[(triple6)] Anne is quiet.[(triple5)] Anne is white.[(triple7 OR ((triple1) -> rule1))]