The cow chases the rabbit. The cow needs the lion. The cow needs the mouse. The cow needs the rabbit. The lion likes the rabbit. The lion needs the cow. The lion needs the mouse. The mouse chases the cow. The mouse chases the lion. The mouse chases the rabbit. The mouse needs the lion. The rabbit is green. The rabbit likes the cow. The rabbit likes the lion. The rabbit does not need the cow. If something likes the mouse and it needs the mouse then the mouse chases the rabbit. If something needs the mouse and the mouse needs the cow then it likes the mouse. If something is blue and rough then it likes the mouse. If something chases the lion then the lion is not red. If the cow does not chase the rabbit and the rabbit does not chase the mouse then the mouse is green. If something needs the cow and it chases the rabbit then the cow is green. If something is rough then it is green. If something chases the cow then the cow does not like the rabbit.
The lion does not like the mouse.
@0: The cow chases the rabbit.[(triple1)] The cow needs the lion.[(triple2)] The cow needs the mouse.[(triple3)] The cow needs the rabbit.[(triple4)] The lion likes the rabbit.[(triple5)] The lion needs the cow.[(triple6)] The lion needs the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse chases the lion.[(triple9)] The mouse chases the rabbit.[(triple10)] The mouse needs the lion.[(triple11)] The rabbit does not need the cow.[(triple15)] The rabbit is green.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit likes the lion.[(triple14)] @1: The cow does not like the rabbit.[(((triple8) -> rule8))] The lion is not red.[(((triple9) -> rule4))]