Bob is smart. Dave is white. Harry is smart. All white, kind things are not red. All white things are not quiet.
Dave is not white.
@0: Bob is smart.[(triple1)] Dave is white.[(triple2)] Harry is smart.[(triple3)] @1: Dave is not quiet.[(((triple2) -> rule2))]