Dave is not cold. Dave is not green. Dave is nice. Dave is quiet. Dave is not round. Dave is smart. Dave is white. If someone is white then they are quiet. All quiet, smart people are white.
Dave is smart.
@0: Dave is nice.[(triple3)] Dave is not cold.[(triple1)] Dave is not green.[(triple2)] Dave is not round.[(triple5)] Dave is quiet.[(triple4 OR ((triple7) -> rule1))] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple4 triple6) -> rule2))]