Dave is smart. Fiona is smart. Gary is white. Harry is green. If someone is green then they are kind. Kind people are quiet.
Gary is white.
@0: Dave is smart.[(triple1)] Fiona is smart.[(triple2)] Gary is white.[(triple3)] Harry is green.[(triple4)] @1: Harry is kind.[(((triple4) -> rule1))] @2: Harry is quiet.[(((((triple4) -> rule1)) -> rule2))]