Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is white. Dave is young. If someone is red and not cold then they are white. If someone is white and furry then they are young. Furry people are red.
Dave is not white.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((triple3) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple6 triple3) -> rule2))]