Anne is not blue. Anne is green. Anne is not nice. Anne is red. Anne is rough. Anne is round. Anne is white. If Anne is not white and Anne is not blue then Anne is round. If Anne is blue then Anne is not red. If Anne is white and Anne is round then Anne is red. White things are round. If something is rough and not blue then it is round. If something is white and not red then it is green. All white things are not nice. If something is green and not white then it is not nice.
Anne is nice.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is not nice.[(triple3 OR ((triple7) -> rule7))] Anne is red.[(triple4 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple7) -> rule4)) -> rule3) OR ((triple7 ((triple5 triple1) -> rule5)) -> rule3))] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple7) -> rule4) OR ((triple5 triple1) -> rule5))] Anne is white.[(triple7)]