Erin is furry. Harry is cold. Harry is furry. If something is quiet and furry then it is round. If Erin is furry then Erin is quiet.
Harry is not round.
@0: Erin is furry.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3)] @1: Erin is quiet.[(((triple1) -> rule2))] @2: Erin is round.[(((((triple1) -> rule2) triple1) -> rule1))]