Anne is green. Anne is nice. Anne is round. Erin is red. Erin is rough. Erin is round. Erin is young. Green things are red.
Erin is rough.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)] @1: Anne is red.[(((triple1) -> rule1))]