Anne is big. Anne is blue. Anne is not green. Anne is kind. Anne is quiet. Anne is not smart. Anne is young. If Anne is kind and Anne is not green then Anne is big. If something is big and not blue then it is quiet. If Anne is not big then Anne is smart.
Anne is green.
@0: Anne is big.[(triple1 OR ((triple4 triple3) -> rule1))] Anne is blue.[(triple2)] Anne is kind.[(triple4)] Anne is not green.[(triple3)] Anne is not smart.[(triple6)] Anne is quiet.[(triple5)] Anne is young.[(triple7)]