Anne is nice. Big people are quiet. If Anne is furry then Anne is smart. If Anne is quiet then Anne is round. If someone is big then they are furry. If Anne is nice then Anne is big. All nice people are young. All round people are young. Quiet people are big.
Anne is smart.
@0: Anne is nice.[(triple1)] @1: Anne is big.[(((triple1) -> rule5))] Anne is young.[(((triple1) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7))] @2: Anne is furry.[(((((triple1) -> rule5)) -> rule4))] Anne is quiet.[(((((triple1) -> rule5)) -> rule1))] @3: Anne is round.[(((((((triple1) -> rule5)) -> rule1)) -> rule3))] Anne is smart.[(((((((triple1) -> rule5)) -> rule4)) -> rule2))]