Bob is quiet. Fiona is smart. Gary is furry. Harry is kind. Smart things are round. If something is smart and round then it is furry. Smart, quiet things are blue.
Fiona is smart.
@0: Bob is quiet.[(triple1)] Fiona is smart.[(triple2)] Gary is furry.[(triple3)] Harry is kind.[(triple4)] @1: Fiona is round.[(((triple2) -> rule1))] @2: Fiona is furry.[(((triple2 ((triple2) -> rule1)) -> rule2))]