Harry is blue. Blue people are nice. All round people are nice. Blue people are smart. Smart people are quiet. If someone is quiet and kind then they are nice. Quiet people are round.
Harry is blue.
@0: Harry is blue.[(triple1)] @1: Harry is nice.[(((triple1) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4)) -> rule6)) -> rule2))] Harry is smart.[(((triple1) -> rule3))] @2: Harry is quiet.[(((((triple1) -> rule3)) -> rule4))] @3: Harry is round.[(((((((triple1) -> rule3)) -> rule4)) -> rule6))]