Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is smart. If something is red then it is kind. If something is green and kind then it is round. All smart things are round. All red, smart things are furry. If something is round and kind then it is red. If something is kind and smart then it is rough.
Anne is not red.
@0: Anne is furry.[(triple1 OR ((triple4 triple7) -> rule4) OR ((((triple6 triple3) -> rule5) triple7) -> rule4) OR ((((((triple7) -> rule3) triple3) -> rule5) triple7) -> rule4) OR ((((((triple2 triple3) -> rule2) triple3) -> rule5) triple7) -> rule4))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple4) -> rule1))] Anne is red.[(triple4 OR ((triple6 triple3) -> rule5) OR ((((triple7) -> rule3) triple3) -> rule5) OR ((((triple2 triple3) -> rule2) triple3) -> rule5))] Anne is rough.[(triple5 OR ((triple3 triple7) -> rule6) OR ((((triple4) -> rule1) triple7) -> rule6))] Anne is round.[(triple6 OR ((triple7) -> rule3) OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple4) -> rule1)) -> rule2))] Anne is smart.[(triple7)]