Charlie is not quiet. Erin is round. Gary is quiet. All nice things are green. All round things are nice. If something is smart and cold then it is nice.
Erin is young.
@0: Charlie is not quiet.[(triple1)] Erin is round.[(triple2)] Gary is quiet.[(triple3)] @1: Erin is nice.[(((triple2) -> rule2))] @2: Erin is green.[(((((triple2) -> rule2)) -> rule1))]