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 furry.
@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))]