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