Charlie is green. Dave is quiet. Gary is white. Quiet things are rough. Blue things are rough.
Charlie is round.
@0: Charlie is green.[(triple1)] Dave is quiet.[(triple2)] Gary is white.[(triple3)] @1: Dave is rough.[(((triple2) -> rule1))]