The cow needs the mouse. The dog is not green. The dog likes the lion. The dog likes the mouse. The dog needs the cow. The dog needs the mouse. The lion is not green. The lion does not like the dog. The lion likes the mouse. The lion needs the dog. The lion visits the cow. The lion does not visit the dog. The mouse likes the dog. The mouse needs the lion. The mouse visits the dog. The mouse does not visit the lion. If something needs the lion and it is not round then it likes the cow. If something is red then it likes the cow. Green, nice things are not young. If something needs the dog then the dog is red. If something is young and it does not like the mouse then it is green. If the dog visits the mouse and the mouse does not visit the cow then the mouse needs the cow.
The mouse does not like the cow.
@0: The cow needs the mouse.[(triple1)] The dog is not green.[(triple2)] The dog likes the lion.[(triple3)] The dog likes the mouse.[(triple4)] The dog needs the cow.[(triple5)] The dog needs the mouse.[(triple6)] The lion does not like the dog.[(triple8)] The lion does not visit the dog.[(triple12)] The lion is not green.[(triple7)] The lion likes the mouse.[(triple9)] The lion needs the dog.[(triple10)] The lion visits the cow.[(triple11)] The mouse does not visit the lion.[(triple16)] The mouse likes the dog.[(triple13)] The mouse needs the lion.[(triple14)] The mouse visits the dog.[(triple15)] @1: The dog is red.[(((triple10) -> rule4))] @2: The dog likes the cow.[(((((triple10) -> rule4)) -> rule2))]