Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is round. Dave is smart. Dave is white. All white things are smart. If something is white and blue then it is quiet.
Dave is not white.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is quiet.[(triple4 OR ((triple7 triple1) -> rule2))] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple7) -> rule1))] Dave is white.[(triple7)]