The cat chases the lion. The cat eats the lion. The cat eats the tiger. The cat is not young. The cow chases the cat. The cow eats the cat. The cow eats the tiger. The cow is rough. The cow needs the tiger. The lion does not chase the cow. The lion eats the tiger. The lion is big. The lion is young. The tiger does not eat the lion. The tiger is big. The tiger needs the cat. If the tiger needs the cat then the cat is blue. If something is big and it chases the cow then the cow does not chase the tiger. If something chases the tiger then it chases the cat. If the lion does not need the cow then the lion chases the cow. If something eats the cow then the cow chases the lion. If something needs the lion and the lion chases the cat then the lion does not eat the cat. If something eats the lion then the lion needs the tiger. If the cow eats the cat then the cat chases the tiger.
The cow does not need the cat.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat eats the tiger.[(triple3)] The cat is not young.[(triple4)] The cow chases the cat.[(triple5)] The cow eats the cat.[(triple6)] The cow eats the tiger.[(triple7)] The cow is rough.[(triple8)] The cow needs the tiger.[(triple9)] The lion does not chase the cow.[(triple10)] The lion eats the tiger.[(triple11)] The lion is big.[(triple12)] The lion is young.[(triple13)] The tiger does not eat the lion.[(triple14)] The tiger is big.[(triple15)] The tiger needs the cat.[(triple16)] @1: The cat chases the tiger.[(((triple6) -> rule8))] The cat is blue.[(((triple16) -> rule1))] The lion needs the tiger.[(((triple2) -> rule7))] @2: The cat chases the cat.[(((((triple6) -> rule8)) -> rule3))]