Bob is green. Dave is rough. Harry is rough. Nice things are white. Green, smart things are white. If something is green then it is nice. All green things are furry. All furry things are rough. If something is big then it is nice.
Bob is green.
@0: Bob is green.[(triple1)] Dave is rough.[(triple2)] Harry is rough.[(triple3)] @1: Bob is furry.[(((triple1) -> rule4))] Bob is nice.[(((triple1) -> rule3))] @2: Bob is rough.[(((((triple1) -> rule4)) -> rule5))] Bob is white.[(((((triple1) -> rule3)) -> rule1))]