The cow eats the lion. The lion likes the cow. If someone eats the lion then the lion is young.
The lion does not like the cow.
@0: The cow eats the lion.[(triple1)] The lion likes the cow.[(triple2)] @1: The lion is young.[(((triple1) -> rule1))]