Bob is blue. Bob is green. Bob is white. All furry things are rough. Blue things are furry.
Bob is not red.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is white.[(triple3)] @1: Bob is furry.[(((triple1) -> rule2))] @2: Bob is rough.[(((((triple1) -> rule2)) -> rule1))]