Bob is blue. Dave is rough. Harry is rough. If something is blue then it is white. If something is white then it is rough.
Bob is not smart.
@0: Bob is blue.[(triple1)] Dave is rough.[(triple2)] Harry is rough.[(triple3)] @1: Bob is white.[(((triple1) -> rule1))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule2))]