The cow chases the rabbit. The cow chases the squirrel. The cow is red. The mouse chases the cow. The mouse chases the rabbit. The mouse does not eat the squirrel. The mouse is not big. The mouse visits the cow. The rabbit chases the cow. The rabbit does not chase the mouse. The rabbit eats the squirrel. The rabbit is red. The squirrel eats the cow. The squirrel eats the mouse. The squirrel visits the rabbit. If the mouse visits the cow then the cow is green. If someone is kind then they eat the cow. If someone chases the squirrel and they eat the mouse then the mouse does not eat the squirrel.
The rabbit chases the mouse.
@0: The cow chases the rabbit.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is red.[(triple3)] The mouse chases the cow.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse does not eat the squirrel.[(triple6)] The mouse is not big.[(triple7)] The mouse visits the cow.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit does not chase the mouse.[(triple10)] The rabbit eats the squirrel.[(triple11)] The rabbit is red.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The cow is green.[(((triple8) -> rule1))]