The lion does not like the squirrel. The squirrel eats the lion. The squirrel does not like the lion. If someone eats the lion and the lion is young then they do not like the lion. If someone needs the squirrel then they like the lion. If someone eats the lion and the lion does not eat the squirrel then the squirrel does not need the lion. If someone is young and not nice then they need the squirrel. If the squirrel needs the lion then the lion does not need the squirrel. If someone eats the lion then the lion needs the squirrel.
The squirrel does not like the lion.
@0: The lion does not like the squirrel.[(triple1)] The squirrel does not like the lion.[(triple3)] The squirrel eats the lion.[(triple2)] @1: The lion needs the squirrel.[(((triple2) -> rule6))] @2: The lion likes the lion.[(((((triple2) -> rule6)) -> rule2))]