Dave is nice. Erin is young. Gary is big. Smart people are quiet. Nice people are quiet.
Erin is young.
@0: Dave is nice.[(triple1)] Erin is young.[(triple2)] Gary is big.[(triple3)] @1: Dave is quiet.[(((triple1) -> rule2))]