Dave is rough. Erin is nice. Rough people are quiet. All rough, quiet people are red.
Dave is red.
@0: Dave is rough.[(triple1)] Erin is nice.[(triple2)] @1: Dave is quiet.[(((triple1) -> rule1))] @2: Dave is red.[(((triple1 ((triple1) -> rule1)) -> rule2))]