Anne is big. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is young. Harry is young. If Anne is furry and Anne is big then Anne is rough.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple2 triple1) -> rule1))] Anne is young.[(triple6)] Harry is young.[(triple7)]