Anne is blue. Bob is rough. Charlie is white. If something is kind and not green then it is rough. If something is rough then it is not white. All kind, quiet things are not young.
Anne is not rough.
@0: Anne is blue.[(triple1)] Bob is rough.[(triple2)] Charlie is white.[(triple3)] @1: Bob is not white.[(((triple2) -> rule2))]