Anne is big. Kind, nice things are round. All big things are round. Round things are not nice. If something is big then it is kind. If something is kind and not round then it is smart. If something is smart and big then it is white. All round things are not white. If something is round and not nice then it is red.
Anne is nice.
@0: Anne is big.[(triple1)] @1: Anne is kind.[(((triple1) -> rule4))] Anne is round.[(((triple1) -> rule2))] @2: Anne is not nice.[(((((triple1) -> rule2)) -> rule3))] Anne is not white.[(((((triple1) -> rule2)) -> rule7))] @3: Anne is red.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule8))]