Anne is furry. Anne is green. Anne is red. Anne is rough. Dave is not big. Harry is big. Harry is furry. Green people are furry.
Anne is kind.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Dave is not big.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)]