The cat is young. The cat needs the cow. The cow is not blue. The cow is young. The cow does not like the lion. The cow likes the squirrel. The lion eats the cat. The lion does not eat the squirrel. The lion is cold. The lion is young. The lion likes the cat. The squirrel eats the lion. The squirrel is cold. The squirrel is young. The squirrel likes the lion. The squirrel needs the cow. If someone likes the squirrel then the squirrel does not need the cat.
The lion does not need the cow.
@0: The cat is young.[(triple1)] The cat needs the cow.[(triple2)] The cow does not like the lion.[(triple5)] The cow is not blue.[(triple3)] The cow is young.[(triple4)] The cow likes the squirrel.[(triple6)] The lion does not eat the squirrel.[(triple8)] The lion eats the cat.[(triple7)] The lion is cold.[(triple9)] The lion is young.[(triple10)] The lion likes the cat.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel needs the cow.[(triple16)] @1: The squirrel does not need the cat.[(((triple6) -> rule1))]