Charlie is quiet. Erin is round. Gary is nice. If Erin is round then Erin is rough.
Erin is not young.
@0: Charlie is quiet.[(triple1)] Erin is round.[(triple2)] Gary is nice.[(triple3)] @1: Erin is rough.[(((triple2) -> rule1))]