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