Anne is not blue. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Anne is young. If Anne is white and Anne is rough then Anne is quiet. If Anne is white and Anne is blue then Anne is kind. If Anne is kind and Anne is rough then Anne is not blue.
Anne is not green.
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1 OR ((triple3 triple5) -> rule3))] Anne is quiet.[(triple4 OR ((triple6 triple5) -> rule1))] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]