Bob is red. Harry is green. Harry is white. If something is red then it is green. If something is green then it is white. All white things are rough.
Harry is not red.
@0: Bob is red.[(triple1)] Harry is green.[(triple2)] Harry is white.[(triple3 OR ((triple2) -> rule2))] @1: Bob is green.[(((triple1) -> rule1))] Harry is rough.[(((triple3) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] @2: Bob is white.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is rough.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]