Anne is not big. Anne is cold. Anne is not furry. Anne is kind. Anne is not quiet. Anne is rough. Anne is young. All kind, young people are cold. Big people are not furry. If someone is big then they are young. Furry people are not young. If someone is kind then they are rough. If Anne is quiet and Anne is kind then Anne is furry.
Anne is not kind.
@0: Anne is cold.[(triple2 OR ((triple4 triple7) -> rule1))] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Anne is not furry.[(triple3)] Anne is not quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple4) -> rule5))] Anne is young.[(triple7)]