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