Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is not white. If something is nice and green then it is furry.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple5 triple4) -> rule1))] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is not white.[(triple7)] Anne is quiet.[(triple6)]