Anne is blue. Anne is furry. Anne is green. Anne is not nice. Anne is round. Anne is young. Dave is furry. Dave is green. Dave is not smart. Dave is young. If Dave is young then Dave is not nice. If Dave is green then Dave is furry. All smart things are not blue. If something is nice and not young then it is blue. If Anne is smart then Anne is green. All young, blue things are green. If something is furry and not blue then it is not round. If something is nice and green then it is round.
Dave is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple6 triple1) -> rule6))] Anne is not nice.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Dave is furry.[(triple7 OR ((triple8) -> rule2))] Dave is green.[(triple8)] Dave is not smart.[(triple9)] Dave is young.[(triple10)] @1: Dave is not nice.[(((triple10) -> rule1))]