Harry is nice. Furry people are quiet. All nice people are furry. If someone is furry then they are round.
Harry is furry.
@0: Harry is nice.[(triple1)] @1: Harry is furry.[(((triple1) -> rule2))] @2: Harry is quiet.[(((((triple1) -> rule2)) -> rule1))] Harry is round.[(((((triple1) -> rule2)) -> rule3))]