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