Erin is round. Gary is rough. Harry is smart. Smart people are round. Round, smart people are blue.
Harry is furry.
@0: Erin is round.[(triple1)] Gary is rough.[(triple2)] Harry is smart.[(triple3)] @1: Harry is round.[(((triple3) -> rule1))] @2: Harry is blue.[(((((triple3) -> rule1) triple3) -> rule2))]