Dave is big. Dave is blue. Dave is green. Dave is nice. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is rough. Harry is round. All cold, nice people are big. Big, nice people are round.
Dave is rough.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Dave is round.[(((triple1 triple4) -> rule2))]