Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Anne is young. If Anne is quiet and Anne is kind then Anne is blue. Quiet, blue things are white.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5 triple3) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is white.[(triple6 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple5 triple3) -> rule1)) -> rule2))] Anne is young.[(triple7)]