The cow eats the lion. The cow is blue. The cow is red. The cow visits the lion. The lion eats the mouse. The lion eats the squirrel. The lion is round. The mouse eats the lion. The mouse likes the cow. The squirrel is cold. The squirrel likes the cow. The squirrel likes the mouse. If something likes the lion and it eats the cow then it visits the lion. If something is blue then it eats the cow.
The cow does not eat the cow.
@0: The cow eats the lion.[(triple1)] The cow is blue.[(triple2)] The cow is red.[(triple3)] The cow visits the lion.[(triple4)] The lion eats the mouse.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is round.[(triple7)] The mouse eats the lion.[(triple8)] The mouse likes the cow.[(triple9)] The squirrel is cold.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The cow eats the cow.[(((triple2) -> rule2))]