The squirrel likes the tiger. The tiger is young. The tiger sees the squirrel. If something sees the squirrel then it is rough.
The tiger is young.
@0: The squirrel likes the tiger.[(triple1)] The tiger is young.[(triple2)] The tiger sees the squirrel.[(triple3)] @1: The tiger is rough.[(((triple3) -> rule1))]