The lion eats the squirrel. The rabbit eats the lion. The squirrel eats the lion. If someone eats the lion and they eat the rabbit then they like the squirrel. If someone chases the rabbit then the rabbit eats the squirrel. If someone is blue then they chase the squirrel. If someone eats the lion then they like the squirrel. If someone chases the lion and they are green then the lion likes the rabbit. If someone likes the lion then they are blue.
The lion does not eat the squirrel.
@0: The lion eats the squirrel.[(triple1)] The rabbit eats the lion.[(triple2)] The squirrel eats the lion.[(triple3)] @1: The rabbit likes the squirrel.[(((triple2) -> rule4))] The squirrel likes the squirrel.[(((triple3) -> rule4))]