Anne is blue. White things are nice. If Anne is rough then Anne is white. If Anne is blue and Anne is nice then Anne is rough. All white things are big. If something is white then it is rough. Blue things are rough.
Anne is blue.
@0: Anne is blue.[(triple1)] @1: Anne is rough.[(((triple1) -> rule6))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule2))] @3: Anne is big.[(((((((triple1) -> rule6)) -> rule2)) -> rule4))] Anne is nice.[(((((((triple1) -> rule6)) -> rule2)) -> rule1))]