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