The cat does not chase the lion. The cow chases the cat. The cow eats the cat. The cow eats the rabbit. The lion does not chase the rabbit. The lion does not eat the cat. The lion eats the cow. The lion is round. The rabbit chases the cow. The rabbit likes the cat. If something eats the cat and it does not chase the lion then the cat likes the lion. If something likes the cow and it eats the cow then the cow is rough. If something is red and it chases the cow then it likes the lion. If something chases the lion and the lion likes the cow then the lion is green. If the lion chases the rabbit then the lion is not big. If the cow does not eat the lion then the lion chases the cow. If something likes the cat then the cat eats the rabbit. If something likes the lion and it is not green then it likes the rabbit.
The cow does not chase the cat.
@0: The cat does not chase the lion.[(triple1)] The cow chases the cat.[(triple2)] The cow eats the cat.[(triple3)] The cow eats the rabbit.[(triple4)] The lion does not chase the rabbit.[(triple5)] The lion does not eat the cat.[(triple6)] The lion eats the cow.[(triple7)] The lion is round.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit likes the cat.[(triple10)] @1: The cat eats the rabbit.[(((triple10) -> rule7))]