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