Anne is not blue. Anne is green. Anne is not quiet. Anne is red. Dave is blue. Dave is furry. Dave is quiet. Dave is red. Dave is smart. Dave is white. If something is furry and not smart then it is not red. If something is green then it is white.
Anne is not blue.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is not quiet.[(triple3)] Anne is red.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] @1: Anne is white.[(((triple2) -> rule2))]