Anne is furry. Charlie is nice. Fiona is quiet. All blue, quiet things are rough. Furry things are not rough. Furry, quiet things are white. Nice things are not white. All white things are nice. If something is furry and not rough then it is nice.
Anne is quiet.
@0: Anne is furry.[(triple1)] Charlie is nice.[(triple2)] Fiona is quiet.[(triple3)] @1: Anne is not rough.[(((triple1) -> rule2))] Charlie is not white.[(((triple2) -> rule4))] @2: Anne is nice.[(((triple1 ((triple1) -> rule2)) -> rule6))] @3: Anne is not white.[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule4))]