Anne is big. Bob is young. Dave is rough. Harry is big. Young people are rough.
Anne is blue.
@0: Anne is big.[(triple1)] Bob is young.[(triple2)] Dave is rough.[(triple3)] Harry is big.[(triple4)] @1: Bob is rough.[(((triple2) -> rule1))]