Bob is rough. Charlie is not white. Rough things are not young. Smart, red things are not rough. Blue things are rough.
Charlie is not quiet.
@0: Bob is rough.[(triple1)] Charlie is not white.[(triple2)] @1: Bob is not young.[(((triple1) -> rule1))]