Anne is white. Charlie is young. If Anne is white and Anne is nice then Anne is young. If something is nice then it is big. All red things are big. If something is kind then it is big. Big things are red. If something is kind and big then it is white. If something is nice then it is not young. If something is white then it is kind.
Anne is not kind.
@0: Anne is white.[(triple1)] Charlie is young.[(triple2)] @1: Anne is kind.[(((triple1) -> rule8))] @2: Anne is big.[(((((triple1) -> rule8)) -> rule4))] @3: Anne is red.[(((((((triple1) -> rule8)) -> rule4)) -> rule5))]