Anne is blue. Charlie is rough. Dave is not kind. Kind people are rough. All blue people are kind. Rough, kind people are white.
Anne is not kind.
@0: Anne is blue.[(triple1)] Charlie is rough.[(triple2)] Dave is not kind.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is white.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]