Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is not red. Anne is white. Nice, blue things are furry. If something is nice and not green then it is kind. If Anne is green and Anne is kind then Anne is nice.
Anne is red.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple5 triple1) -> rule1) OR ((((triple3 triple4) -> rule3) triple1) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple3 triple4) -> rule3))] Anne is not red.[(triple6)] Anne is white.[(triple7)]