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