The cow chases the lion. The cow is green. The lion is young. The lion visits the cow. The tiger chases the cow. The tiger chases the lion. The tiger eats the cow. If the tiger visits the cow and the cow visits the lion then the cow chases the lion. If someone chases the cow then the cow eats the lion. If someone eats the cow and the cow is blue then the cow eats the lion.
The lion eats the cow.
@0: The cow chases the lion.[(triple1)] The cow is green.[(triple2)] The lion is young.[(triple3)] The lion visits the cow.[(triple4)] The tiger chases the cow.[(triple5)] The tiger chases the lion.[(triple6)] The tiger eats the cow.[(triple7)] @1: The cow eats the lion.[(((triple5) -> rule2))]