Bob is not kind. Bob is not nice. Bob is white. Nice things are not blue. If something is nice then it is white. If Bob is white then Bob is red. If Bob is rough and Bob is blue then Bob is nice. If something is quiet and not kind then it is red. If Bob is kind then Bob is quiet.
Bob is not quiet.
@0: Bob is not kind.[(triple1)] Bob is not nice.[(triple2)] Bob is white.[(triple3)] @1: Bob is red.[(((triple3) -> rule3))]