Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is white. Dave is young. Big, white people are quiet.
Dave is kind.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5 OR ((triple1 triple6) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7)]