Anne is big. Anne is cold. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is white. If Anne is cold then Anne is red. Green things are red. If something is red and not round then it is quiet.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple2) -> rule1) OR ((triple3) -> rule2))] Anne is round.[(triple6)] Anne is white.[(triple7)]