Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Rough people are nice.
Dave is quiet.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple6) -> rule1))] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)]