The lion likes the rabbit. The rabbit eats the squirrel. The squirrel is rough. If someone likes the rabbit then they visit the lion. If someone is nice then they eat the squirrel. If someone is nice and they like the rabbit then the rabbit visits the squirrel. If someone likes the rabbit then the rabbit likes the squirrel. If someone eats the lion then they are nice. If the lion visits the squirrel then the squirrel likes the lion.
The rabbit likes the rabbit.
@0: The lion likes the rabbit.[(triple1)] The rabbit eats the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The lion visits the lion.[(((triple1) -> rule1))] The rabbit likes the squirrel.[(((triple1) -> rule4))]