Charlie is red. Dave is green. Erin is blue. Gary is round. If something is green then it is red.
Gary is red.
@0: Charlie is red.[(triple1)] Dave is green.[(triple2)] Erin is blue.[(triple3)] Gary is round.[(triple4)] @1: Dave is red.[(((triple2) -> rule1))]