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