Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is smart. If Dave is green then Dave is kind.
Dave is not red.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple3) -> rule1))] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)]