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