The cow eats the mouse. The cow is cold. The mouse is blue. The mouse needs the rabbit. The rabbit needs the cow. The rabbit needs the squirrel. The squirrel is not young. If someone is cold then they are round. If someone is round then they do not need the mouse. If someone chases the cow then the cow does not need the rabbit. If the cow needs the mouse then the mouse is kind. If someone chases the cow then they do not chase the mouse. If someone chases the cow and the cow is blue then they need the rabbit. If someone chases the cow and the cow does not chase the mouse then the mouse chases the squirrel. If someone is kind and they chase the mouse then the mouse does not chase the squirrel.
The cow does not eat the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is cold.[(triple2)] The mouse is blue.[(triple3)] The mouse needs the rabbit.[(triple4)] The rabbit needs the cow.[(triple5)] The rabbit needs the squirrel.[(triple6)] The squirrel is not young.[(triple7)] @1: The cow is round.[(((triple2) -> rule1))] @2: The cow does not need the mouse.[(((((triple2) -> rule1)) -> rule2))]