Bob is young. Dave is blue. Dave is green. Dave is young. Erin is quiet. Erin is young. Gary is green. Young, quiet people are blue. If someone is quiet and blue then they are young.
Gary is blue.
@0: Bob is young.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is young.[(triple4)] Erin is quiet.[(triple5)] Erin is young.[(triple6)] Gary is green.[(triple7)] @1: Erin is blue.[(((triple6 triple5) -> rule1))]