Dave is rough. Erin is red. Fiona is red. Gary is rough. If someone is red then they are smart.
Dave is rough.
@0: Dave is rough.[(triple1)] Erin is red.[(triple2)] Fiona is red.[(triple3)] Gary is rough.[(triple4)] @1: Erin is smart.[(((triple2) -> rule1))] Fiona is smart.[(((triple3) -> rule1))]