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 not 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))]