Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is rough. All green, rough people are big. All rough, big people are green. All green, blue people are big.
Anne is not quiet.
@0: Anne is big.[(triple1 OR ((triple4 triple2) -> rule3) OR ((triple4 triple7) -> rule1))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple7 triple1) -> rule2))] Anne is kind.[(triple5)] Anne is quiet.[(triple6)] Anne is rough.[(triple7)]