Bob is young. Rough things are blue. All young things are rough.
Bob is not young.
@0: Bob is young.[(triple1)] @1: Bob is rough.[(((triple1) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule2)) -> rule1))]