Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is white. Anne is not young. If someone is young and not white then they are red. If someone is white and green then they are blue. All young, green people are not quiet.
Anne is white.
@0: Anne is blue.[(triple1 OR ((triple6 triple2) -> rule2))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6)]