The cow eats the lion. The lion eats the cow. If someone eats the lion and they are not nice then they eat the cow. If someone eats the lion then they do not eat the cow.
The lion eats the cow.
@0: The cow eats the lion.[(triple1)] The lion eats the cow.[(triple2)] @1: The cow does not eat the cow.[(((triple1) -> rule2))]