Charlie is furry. Charlie is green. Charlie is nice. Charlie is white. Dave is not blue. Dave is cold. Dave is not furry. Dave is nice. Dave is smart. Dave is not white. Cold people are nice. If someone is blue then they are not smart. All white people are cold.
Charlie is blue.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((((triple4) -> rule3)) -> rule1))] Charlie is white.[(triple4)] Dave is cold.[(triple6)] Dave is nice.[(triple8 OR ((triple6) -> rule1))] Dave is not blue.[(triple5)] Dave is not furry.[(triple7)] Dave is not white.[(triple10)] Dave is smart.[(triple9)] @1: Charlie is cold.[(((triple4) -> rule3))]