The bear eats the tiger. The cow is young. The tiger chases the cow. If something eats the tiger then the tiger eats the cow. If something chases the cow and the cow eats the tiger then the cow sees the tiger.
The bear is kind.
@0: The bear eats the tiger.[(triple1)] The cow is young.[(triple2)] The tiger chases the cow.[(triple3)] @1: The tiger eats the cow.[(((triple1) -> rule1))]