The bear chases the cow. The bear is not green. The bear likes the cow. The bear does not like the dog. The bear needs the cow. The bear needs the mouse. The cow is blue. The cow needs the dog. The dog is blue. The dog needs the cow. The mouse chases the dog. The mouse is not big. The mouse likes the bear. The mouse does not like the dog. The mouse needs the cow. If something likes the cow then it likes the mouse.
The cow needs the dog.
@0: The bear chases the cow.[(triple1)] The bear does not like the dog.[(triple4)] The bear is not green.[(triple2)] The bear likes the cow.[(triple3)] The bear needs the cow.[(triple5)] The bear needs the mouse.[(triple6)] The cow is blue.[(triple7)] The cow needs the dog.[(triple8)] The dog is blue.[(triple9)] The dog needs the cow.[(triple10)] The mouse chases the dog.[(triple11)] The mouse does not like the dog.[(triple14)] The mouse is not big.[(triple12)] The mouse likes the bear.[(triple13)] The mouse needs the cow.[(triple15)] @1: The bear likes the mouse.[(((triple3) -> rule1))]