The cow eats the tiger. The cow is big. The cow is rough. The cow is young. The cow visits the tiger. The rabbit is young. The rabbit visits the cow. The rabbit visits the tiger. The tiger is rough. The tiger visits the cow. If something chases the rabbit and it chases the cow then the cow chases the tiger. If the cow chases the tiger and the tiger is young then the cow eats the tiger. If something visits the rabbit then it is young. If something eats the tiger then it chases the tiger. If the tiger is rough and the tiger is young then the tiger eats the rabbit. If something is nice and it chases the tiger then it eats the tiger.
The cow does not eat the tiger.
@0: The cow eats the tiger.[(triple1)] The cow is big.[(triple2)] The cow is rough.[(triple3)] The cow is young.[(triple4)] The cow visits the tiger.[(triple5)] The rabbit is young.[(triple6)] The rabbit visits the cow.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger is rough.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cow chases the tiger.[(((triple1) -> rule4))]