The cow chases the mouse. The cow is kind. The cow is not red. The cow likes the mouse. The cow sees the lion. The lion chases the mouse. The lion is not green. The lion likes the cow. The lion likes the mouse. The mouse likes the cow. If someone sees the mouse then the mouse is red. If someone chases the cow then the cow does not chase the lion. If someone chases the mouse and they do not chase the cow then the cow does not like the lion. If the lion is green and the lion is cold then the lion does not chase the mouse. If the lion is cold and the lion is not young then the lion does not like the mouse. If someone likes the mouse and they chase the mouse then they like the lion. If the lion sees the cow and the lion is young then the lion likes the cow. If someone is green then they are not red.
The lion does not like the mouse.
@0: The cow chases the mouse.[(triple1)] The cow is kind.[(triple2)] The cow is not red.[(triple3)] The cow likes the mouse.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the mouse.[(triple6)] The lion is not green.[(triple7)] The lion likes the cow.[(triple8)] The lion likes the mouse.[(triple9)] The mouse likes the cow.[(triple10)] @1: The cow likes the lion.[(((triple4 triple1) -> rule6))] The lion likes the lion.[(((triple9 triple6) -> rule6))]