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