Anne is big. Anne is cold. Anne is green. Anne is quiet. Anne is round. Anne is white. Anne is young. If someone is quiet and round then they are green.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple4 triple5) -> rule1))] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]