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