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