Erin is nice. Fiona is rough. Gary is nice. Harry is quiet. If Gary is nice then Gary is white. If something is white then it is kind. Kind things are quiet.
Gary is kind.
@0: Erin is nice.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3)] Harry is quiet.[(triple4)] @1: Gary is white.[(((triple3) -> rule1))] @2: Gary is kind.[(((((triple3) -> rule1)) -> rule2))] @3: Gary is quiet.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))]