Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is young. All green, smart people are nice.
Dave is not rough.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple2 triple6) -> rule1))] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]