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