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