Anne is big. Anne is furry. Anne is green. Anne is quiet. Anne is white. Harry is big. Harry is furry. Harry is green. Harry is quiet. Harry is smart. Harry is white. Harry is young. Quiet, white things are furry. If Harry is young then Harry is smart.
Anne is young.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple4 triple5) -> rule1))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is white.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7 OR ((triple9 triple11) -> rule1))] Harry is green.[(triple8)] Harry is quiet.[(triple9)] Harry is smart.[(triple10 OR ((triple12) -> rule2))] Harry is white.[(triple11)] Harry is young.[(triple12)]