Anne is nice. Anne is round. Anne is white. If something is white then it is smart. If something is green then it is kind. If something is white then it is nice. If something is smart and nice then it is kind. All kind things are blue. If something is green and nice then it is kind.
Anne is not blue.
@0: Anne is nice.[(triple1 OR ((triple3) -> rule3))] Anne is round.[(triple2)] Anne is white.[(triple3)] @1: Anne is smart.[(((triple3) -> rule1))] @2: Anne is kind.[(((((triple3) -> rule1) triple1) -> rule4) OR ((((triple3) -> rule1) ((triple3) -> rule3)) -> rule4))] @3: Anne is blue.[(((((((triple3) -> rule1) triple1) -> rule4)) -> rule5) OR ((((((triple3) -> rule1) ((triple3) -> rule3)) -> rule4)) -> rule5))]