Anne is big. Anne is kind. Anne is smart. If someone is nice and quiet then they are big. If Anne is kind then Anne is big. Quiet people are green. If someone is quiet then they are nice. If someone is smart then they are nice. If someone is nice then they are quiet. All kind people are round. Nice, kind people are round.
Anne is quiet.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule1))] Anne is kind.[(triple2)] Anne is smart.[(triple3)] @1: Anne is nice.[(((triple3) -> rule5))] Anne is round.[(((triple2) -> rule7) OR ((((triple3) -> rule5) triple2) -> rule8))] @2: Anne is quiet.[(((((triple3) -> rule5)) -> rule6))] @3: Anne is green.[(((((((triple3) -> rule5)) -> rule6)) -> rule3))]