Anne is round. Dave is green. Dave is red. Erin is blue. Erin is green. Erin is quiet. Erin is young. All young, blue things are round.
Anne is round.
@0: Anne is round.[(triple1)] Dave is green.[(triple2)] Dave is red.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7)] @1: Erin is round.[(((triple7 triple4) -> rule1))]