Harry is smart. If someone is young and not kind then they are quiet. All kind people are quiet. If someone is smart then they are green. If someone is quiet and not kind then they are green. If Harry is round then Harry is quiet. All furry, green people are young. If someone is quiet and smart then they are furry. All green people are round.
Harry is not round.
@0: Harry is smart.[(triple1)] @1: Harry is green.[(((triple1) -> rule3))] @2: Harry is round.[(((((triple1) -> rule3)) -> rule8))] @3: Harry is quiet.[(((((((triple1) -> rule3)) -> rule8)) -> rule5))] @4: Harry is furry.[(((((((((triple1) -> rule3)) -> rule8)) -> rule5) triple1) -> rule7))] @5: Harry is young.[(((((((((((triple1) -> rule3)) -> rule8)) -> rule5) triple1) -> rule7) ((triple1) -> rule3)) -> rule6))]