Anne is nice. Red things are big. Big, red things are round. If Anne is nice then Anne is red. All big things are nice. If Anne is red then Anne is not kind. If something is kind and not red then it is young. If something is nice and not red then it is not kind. If something is young and nice then it is kind.
Anne is not red.
@0: Anne is nice.[(triple1)] @1: Anne is red.[(((triple1) -> rule3))] @2: Anne is big.[(((((triple1) -> rule3)) -> rule1))] Anne is not kind.[(((((triple1) -> rule3)) -> rule5))] @3: Anne is round.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule2))]