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