Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is smart. Dave is white. Dave is young. If Dave is nice then Dave is young. All cold people are smart.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is smart.[(triple5 OR ((triple2) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule1))]