The cow eats the lion. The cow does not eat the rabbit. The cow is rough. The cow visits the lion. The cow visits the rabbit. The dog eats the lion. The dog does not visit the cow. The lion does not visit the cow. The rabbit eats the dog. The rabbit visits the cow. If someone sees the cow and the cow is young then the cow does not see the rabbit. If someone visits the rabbit then they eat the cow.
The lion does not eat the cow.
@0: The cow does not eat the rabbit.[(triple2)] The cow eats the lion.[(triple1)] The cow is rough.[(triple3)] The cow visits the lion.[(triple4)] The cow visits the rabbit.[(triple5)] The dog does not visit the cow.[(triple7)] The dog eats the lion.[(triple6)] The lion does not visit the cow.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit visits the cow.[(triple10)] @1: The cow eats the cow.[(((triple5) -> rule2))]