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