Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is white. Anne is young. Blue things are furry. All green, white things are quiet. If Anne is rough then Anne is green.
Anne is not rough.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule1))] Anne is green.[(triple3 OR ((triple5) -> rule3))] Anne is quiet.[(triple4 OR ((triple3 triple6) -> rule2) OR ((((triple5) -> rule3) triple6) -> rule2))] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]