Anne is blue. Anne is cold. Anne is rough. If something is blue and big then it is nice. If Anne is rough and Anne is kind then Anne is nice. Round things are blue. All blue, nice things are rough. All rough, big things are kind. Blue things are rough. If Anne is blue and Anne is nice then Anne is rough. Blue things are nice.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule6) OR ((triple1 ((triple1) -> rule8)) -> rule4) OR ((triple1 ((triple1) -> rule8)) -> rule7))] @1: Anne is nice.[(((triple1) -> rule8))]