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