The cow is not round. The cow likes the lion. The lion eats the cow. The lion likes the squirrel. The squirrel is cold. The squirrel does not like the lion. The squirrel needs the cow. If someone likes the squirrel and they do not need the cow then they like the lion. If the squirrel is rough then the squirrel does not like the lion. If someone eats the cow then the cow needs the squirrel. If someone eats the lion and the lion needs the squirrel then the squirrel does not eat the cow. If someone eats the squirrel and they do not like the squirrel then the squirrel eats the cow. If someone needs the squirrel then they eat the lion.
The lion eats the lion.
@0: The cow is not round.[(triple1)] The cow likes the lion.[(triple2)] The lion eats the cow.[(triple3)] The lion likes the squirrel.[(triple4)] The squirrel does not like the lion.[(triple6)] The squirrel is cold.[(triple5)] The squirrel needs the cow.[(triple7)] @1: The cow needs the squirrel.[(((triple3) -> rule3))] @2: The cow eats the lion.[(((((triple3) -> rule3)) -> rule6))]