The bear chases the cow. The bear likes the mouse. The cow chases the mouse. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow needs the mouse. The dog chases the bear. The dog chases the cow. The dog is rough. The dog likes the mouse. The mouse is kind. The mouse is rough. The mouse likes the bear. If someone needs the mouse then the mouse needs the bear. If the mouse is kind and the mouse does not chase the dog then the dog chases the bear. If the dog chases the bear and the dog does not like the cow then the cow likes the dog. If someone needs the bear then the bear does not like the cow. If someone likes the cow and the cow needs the dog then the dog likes the mouse. If someone chases the bear then they need the bear.
The dog does not need the bear.
@0: The bear chases the cow.[(triple1)] The bear likes the mouse.[(triple2)] The cow chases the mouse.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5)] The cow is nice.[(triple6)] The cow is rough.[(triple7)] The cow needs the mouse.[(triple8)] The dog chases the bear.[(triple9)] The dog chases the cow.[(triple10)] The dog is rough.[(triple11)] The dog likes the mouse.[(triple12)] The mouse is kind.[(triple13)] The mouse is rough.[(triple14)] The mouse likes the bear.[(triple15)] @1: The dog needs the bear.[(((triple9) -> rule6))] The mouse needs the bear.[(((triple8) -> rule1))] @2: The bear does not like the cow.[(((((triple8) -> rule1)) -> rule4) OR ((((triple9) -> rule6)) -> rule4))]