Dave is green. Erin is round. Fiona is big. Gary is nice. Round people are blue.
Gary is nice.
@0: Dave is green.[(triple1)] Erin is round.[(triple2)] Fiona is big.[(triple3)] Gary is nice.[(triple4)] @1: Erin is blue.[(((triple2) -> rule1))]