Bob is kind. Harry is red. Harry is white. If Harry is smart and Harry is not white then Harry is red. Red things are not kind.
Bob is not quiet.
@0: Bob is kind.[(triple1)] Harry is red.[(triple2)] Harry is white.[(triple3)] @1: Harry is not kind.[(((triple2) -> rule2))]