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.
Harry is not white.
@0: Bob is kind.[(triple1)] Harry is red.[(triple2)] Harry is white.[(triple3)] @1: Harry is not kind.[(((triple2) -> rule2))]