Anne is big. Anne is furry. Anne is quiet. Quiet, big things are furry. Smart, nice things are furry. If something is kind and big then it is nice. If Anne is kind and Anne is white then Anne is furry. If Anne is kind then Anne is white. Smart things are big. White things are furry. If Anne is big and Anne is nice then Anne is quiet.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple3 triple1) -> rule1))] Anne is quiet.[(triple3)]