Anne is not furry. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. White things are green. If something is nice and furry then it is not white.
Anne is rough.
@0: Anne is green.[(triple2 OR ((triple7) -> rule1))] Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)]