The cow needs the lion. The lion needs the cow. The squirrel eats the cow. The squirrel eats the lion. The squirrel is not rough. The squirrel likes the cow. The squirrel needs the lion. If the lion is kind then the lion is nice. If something needs the squirrel then the squirrel is rough. If the squirrel is kind then the squirrel is nice. If the lion is not kind then the lion does not like the cow. If something likes the cow and it does not eat the cow then the cow needs the squirrel. If the cow is rough and the cow does not eat the squirrel then the squirrel does not eat the lion. If something is red then it needs the squirrel. If something eats the cow then the cow does not like the lion.
The cow does not like the lion.
@0: The cow needs the lion.[(triple1)] The lion needs the cow.[(triple2)] The squirrel eats the cow.[(triple3)] The squirrel eats the lion.[(triple4)] The squirrel is not rough.[(triple5)] The squirrel likes the cow.[(triple6)] The squirrel needs the lion.[(triple7)] @1: The cow does not like the lion.[(((triple3) -> rule8))]