The squirrel is nice. All young, green things are rough. All green things are young. All nice things are green.
The squirrel is not young.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule3))] @2: The squirrel is young.[(((((triple1) -> rule3)) -> rule2))] @3: The squirrel is rough.[(((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1))]