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