Anne is blue. Anne is furry. Anne is green. Anne is rough. Anne is round. Anne is white. Anne is young. All round, white people are furry. If someone is round and rough then they are green.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple5 triple6) -> rule1))] Anne is green.[(triple3 OR ((triple5 triple4) -> rule2))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]