Bob is blue. Dave is big. Erin is young. Gary is blue. Big people are red.
Erin is round.
@0: Bob is blue.[(triple1)] Dave is big.[(triple2)] Erin is young.[(triple3)] Gary is blue.[(triple4)] @1: Dave is red.[(((triple2) -> rule1))]