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