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