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