The cow chases the squirrel. The cow eats the lion. The cow is cold. The lion eats the cow. The lion is red. The lion needs the cow. The lion needs the squirrel. The rabbit chases the cow. The rabbit chases the lion. The rabbit eats the squirrel. The rabbit is big. The rabbit needs the lion. The squirrel chases the cow. The squirrel chases the lion. The squirrel is big. If the cow is big and the cow needs the rabbit then the cow eats the squirrel. If someone eats the squirrel and they need the rabbit then the rabbit eats the cow. If the rabbit eats the squirrel then the squirrel eats the lion.
The squirrel eats the lion.
@0: The cow chases the squirrel.[(triple1)] The cow eats the lion.[(triple2)] The cow is cold.[(triple3)] The lion eats the cow.[(triple4)] The lion is red.[(triple5)] The lion needs the cow.[(triple6)] The lion needs the squirrel.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit eats the squirrel.[(triple10)] The rabbit is big.[(triple11)] The rabbit needs the lion.[(triple12)] The squirrel chases the cow.[(triple13)] The squirrel chases the lion.[(triple14)] The squirrel is big.[(triple15)] @1: The squirrel eats the lion.[(((triple10) -> rule3))]