The cow does not chase the lion. The cow chases the mouse. The cow is blue. The cow is kind. The cow is not rough. The cow needs the lion. The cow needs the mouse. The cow sees the mouse. The lion does not chase the mouse. The lion is blue. The lion is rough. The lion needs the cow. The lion does not need the mouse. The mouse chases the cow. The mouse chases the lion. The mouse is nice. If the lion is rough and the lion does not need the mouse then the mouse does not see the lion.
The cow does not need the mouse.
@0: The cow chases the mouse.[(triple2)] The cow does not chase the lion.[(triple1)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is not rough.[(triple5)] The cow needs the lion.[(triple6)] The cow needs the mouse.[(triple7)] The cow sees the mouse.[(triple8)] The lion does not chase the mouse.[(triple9)] The lion does not need the mouse.[(triple13)] The lion is blue.[(triple10)] The lion is rough.[(triple11)] The lion needs the cow.[(triple12)] The mouse chases the cow.[(triple14)] The mouse chases the lion.[(triple15)] The mouse is nice.[(triple16)] @1: The mouse does not see the lion.[(((triple11 triple13) -> rule1))]