Anne is furry. Anne is round. Anne is white. Round things are rough. Furry, red things are cold. If something is cold then it is white. If something is furry and cold then it is smart. If something is cold then it is smart. All white, red things are smart. If something is smart and round then it is cold. Cold things are red.
Anne is not white.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] @1: Anne is rough.[(((triple2) -> rule1))]