The cow chases the rabbit. The cow is not red. The cow is young. The mouse is young. The mouse does not need the cow. The rabbit chases the mouse. The rabbit is young. If something is young and it eats the cow then the cow does not chase the mouse. If something chases the mouse then the mouse eats the rabbit. If something needs the cow then the cow needs the rabbit. If something is red then it chases the mouse. If the mouse eats the rabbit and the mouse needs the cow then the cow is blue. If the rabbit chases the cow then the cow chases the rabbit. If something is round and it does not eat the rabbit then it does not chase the rabbit. If something is young and not big then it does not chase the rabbit.
The rabbit chases the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow is not red.[(triple2)] The cow is young.[(triple3)] The mouse does not need the cow.[(triple5)] The mouse is young.[(triple4)] The rabbit chases the mouse.[(triple6)] The rabbit is young.[(triple7)] @1: The mouse eats the rabbit.[(((triple6) -> rule2))]