Erin is round. Gary is nice. Gary is young. Round things are white. White things are quiet.
Gary is not blue.
@0: Erin is round.[(triple1)] Gary is nice.[(triple2)] Gary is young.[(triple3)] @1: Erin is white.[(((triple1) -> rule1))] @2: Erin is quiet.[(((((triple1) -> rule1)) -> rule2))]