Anne is big. Anne is furry. Anne is nice. Anne is not quiet. Anne is round. Anne is smart. Anne is young. If someone is furry and not round then they are young. If Anne is furry and Anne is not quiet then Anne is smart.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple2 triple4) -> rule2))] Anne is young.[(triple7)]