Anne is not blue. Anne is cold. Anne is not furry. Anne is green. Anne is round. Anne is smart. Anne is white. Dave is blue. Dave is not cold. Dave is furry. Dave is green. Dave is round. Dave is smart. Dave is not white. Cold people are smart. If someone is green and not furry then they are white.
Anne is cold.
@0: Anne is cold.[(triple2)] Anne is green.[(triple4)] Anne is not blue.[(triple1)] Anne is not furry.[(triple3)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple2) -> rule1))] Anne is white.[(triple7 OR ((triple4 triple3) -> rule2))] Dave is blue.[(triple8)] Dave is furry.[(triple10)] Dave is green.[(triple11)] Dave is not cold.[(triple9)] Dave is not white.[(triple14)] Dave is round.[(triple12)] Dave is smart.[(triple13)]