Anne is not kind. Anne is rough. Charlie is round. If something is nice then it is green. Rough things are big. If something is big then it is nice. Green, big things are red. If Anne is not big then Anne is green. If something is round and not red then it is kind.
Anne is not rough.
@0: Anne is not kind.[(triple1)] Anne is rough.[(triple2)] Charlie is round.[(triple3)] @1: Anne is big.[(((triple2) -> rule2))] @2: Anne is nice.[(((((triple2) -> rule2)) -> rule3))] @3: Anne is green.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))] @4: Anne is red.[(((((((((triple2) -> rule2)) -> rule3)) -> rule1) ((triple2) -> rule2)) -> rule4))]