Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is white. Anne is young. If something is white then it is young. If something is kind then it is furry.
Anne is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple5) -> rule2))] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple6) -> rule1))]