The lion is green. All blue things are young. If something is green then it is blue. All young things are rough.
The lion is not blue.
@0: The lion is green.[(triple1)] @1: The lion is blue.[(((triple1) -> rule2))] @2: The lion is young.[(((((triple1) -> rule2)) -> rule1))] @3: The lion is rough.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]