Anne is blue. Anne is furry. Anne is quiet. Dave is furry. Dave is green. Dave is kind. Dave is quiet. If something is round then it is kind. All quiet, green things are round. If something is nice and green then it is quiet. Kind things are round. All blue, quiet things are furry. Furry, quiet things are kind.
Dave is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule5))] Anne is quiet.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((triple4 triple7) -> rule6) OR ((((triple7 triple5) -> rule2)) -> rule1))] Dave is quiet.[(triple7)] @1: Anne is kind.[(((triple2 triple3) -> rule6) OR ((((triple1 triple3) -> rule5) triple3) -> rule6))] Dave is round.[(((triple6) -> rule4) OR ((triple7 triple5) -> rule2) OR ((((triple4 triple7) -> rule6)) -> rule4))] @2: Anne is round.[(((((triple2 triple3) -> rule6)) -> rule4) OR ((((((triple1 triple3) -> rule5) triple3) -> rule6)) -> rule4))]