Bob is kind. Charlie is kind. Harry is rough. If Harry is white then Harry is quiet. If something is kind then it is white.
Harry is not rough.
@0: Bob is kind.[(triple1)] Charlie is kind.[(triple2)] Harry is rough.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))] Charlie is white.[(((triple2) -> rule2))]