The cow eats the lion. The cow needs the lion. The lion eats the cow. The lion eats the tiger. The squirrel eats the tiger. The squirrel is nice. The squirrel likes the cow. The tiger eats the cow. The tiger is big. The tiger likes the cow. If someone is big and they like the cow then the cow is young. If someone needs the tiger and the tiger eats the squirrel then the squirrel eats the cow. If someone needs the cow then they are young. If someone needs the squirrel then the squirrel likes the tiger. If someone likes the cow and the cow likes the lion then they are big. If someone eats the tiger then they are nice.
The cow does not eat the lion.
@0: The cow eats the lion.[(triple1)] The cow needs the lion.[(triple2)] The lion eats the cow.[(triple3)] The lion eats the tiger.[(triple4)] The squirrel eats the tiger.[(triple5)] The squirrel is nice.[(triple6 OR ((triple5) -> rule6))] The squirrel likes the cow.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is big.[(triple9)] The tiger likes the cow.[(triple10)] @1: The cow is young.[(((triple9 triple10) -> rule1))] The lion is nice.[(((triple4) -> rule6))]