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