Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is not kind. Dave is rough. Dave is smart. If someone is cold and not rough then they are green. Smart people are green. If Dave is not green then Dave is big.
Dave is not smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4 OR ((triple7) -> rule2))] Dave is not kind.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)]