The cow likes the squirrel. The cow does not need the squirrel. The squirrel is big. If something eats the squirrel and the squirrel is nice then the squirrel is cold. If something is nice and not young then it eats the cow. If something likes the cow and the cow needs the squirrel then the cow is not big. If something eats the squirrel and it does not eat the cow then it is big. If something is young and big then it likes the squirrel. If something likes the squirrel and the squirrel is big then the squirrel likes the cow.
The cow is not big.
@0: The cow does not need the squirrel.[(triple2)] The cow likes the squirrel.[(triple1)] The squirrel is big.[(triple3)] @1: The squirrel likes the cow.[(((triple1 triple3) -> rule6))]