Anne is big. Anne is blue. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is young. All blue, quiet things are green. Blue, young things are red.
Anne is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3 OR ((triple2 triple4) -> rule1))] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple2 triple7) -> rule2))] Anne is round.[(triple6)] Anne is young.[(triple7)]