Bob is not big. Bob is white. Dave is rough. If Dave is rough then Dave is not white. If Dave is kind then Dave is white. All kind people are white.
Bob is not quiet.
@0: Bob is not big.[(triple1)] Bob is white.[(triple2)] Dave is rough.[(triple3)] @1: Dave is not white.[(((triple3) -> rule1))]