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