Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is smart. All green things are furry.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule1))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)]