Anne is not big. Anne is kind. Anne is rough. Nice things are not round. If something is round then it is big. Nice things are not white. If something is round then it is rough. If Anne is blue then Anne is nice. If something is rough then it is not blue. If Anne is rough and Anne is not blue then Anne is white. If something is round and not big then it is kind.
Anne is not kind.
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Anne is rough.[(triple3)] @1: Anne is not blue.[(((triple3) -> rule6))] @2: Anne is white.[(((triple3 ((triple3) -> rule6)) -> rule7))]