Bob is rough. Harry is white. Red, nice people are white. If someone is rough then they are furry.
Bob is not rough.
@0: Bob is rough.[(triple1)] Harry is white.[(triple2)] @1: Bob is furry.[(((triple1) -> rule2))]