The lion likes the squirrel. The mouse eats the rabbit. The mouse is cold. The mouse likes the lion. The mouse visits the lion. The rabbit eats the mouse. The rabbit likes the mouse. The rabbit likes the squirrel. The squirrel eats the rabbit. The squirrel is nice. If something likes the lion then it eats the mouse.
The rabbit visits the mouse.
@0: The lion likes the squirrel.[(triple1)] The mouse eats the rabbit.[(triple2)] The mouse is cold.[(triple3)] The mouse likes the lion.[(triple4)] The mouse visits the lion.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit likes the mouse.[(triple7)] The rabbit likes the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is nice.[(triple10)] @1: The mouse eats the mouse.[(((triple4) -> rule1))]