The cow chases the mouse. The cow eats the mouse. The cow is nice. The lion chases the mouse. The lion eats the mouse. The lion eats the squirrel. The lion is kind. The mouse needs the cow. The mouse needs the squirrel. The squirrel chases the cow. If someone needs the cow then they eat the squirrel. If someone chases the cow and the cow chases the lion then the lion does not need the mouse. If the mouse eats the squirrel then the squirrel needs the cow. If someone eats the mouse and they are not green then they eat the lion. If someone eats the cow and they are green then they need the lion. If someone is nice and they do not chase the mouse then they are not cold.
The cow does not chase the lion.
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow is nice.[(triple3)] The lion chases the mouse.[(triple4)] The lion eats the mouse.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is kind.[(triple7)] The mouse needs the cow.[(triple8)] The mouse needs the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] @1: The mouse eats the squirrel.[(((triple8) -> rule1))] @2: The squirrel needs the cow.[(((((triple8) -> rule1)) -> rule3))] @3: The squirrel eats the squirrel.[(((((((triple8) -> rule1)) -> rule3)) -> rule1))]