Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is young. Young, blue things are nice. Nice, blue things are big. If something is big then it is furry.
Anne is not quiet.
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule2) OR ((((triple7 triple2) -> rule1) triple2) -> rule2))] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple1) -> rule3) OR ((((triple5 triple2) -> rule2)) -> rule3) OR ((((((triple7 triple2) -> rule1) triple2) -> rule2)) -> rule3))] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple7 triple2) -> rule1))] Anne is quiet.[(triple6)] Anne is young.[(triple7)]