Anne is nice. Anne is rough. Dave is big. Dave is blue. Dave is nice. Dave is rough. Erin is nice. Nice things are rough.
Anne is blue.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule1))] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6 OR ((triple5) -> rule1))] Erin is nice.[(triple7)] @1: Erin is rough.[(((triple7) -> rule1))]