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