The bear is cold. The bear visits the mouse. The cow likes the bear. The cow needs the bear. The cow needs the mouse. The cow does not visit the bear. The cow does not visit the dog. The dog likes the bear. The dog likes the cow. The dog needs the bear. The dog visits the cow. The mouse is green. The mouse is round. The mouse needs the cow. The mouse visits the bear. The mouse visits the cow. If someone visits the cow then they do not like the mouse. If someone visits the cow and they are not cold then they do not need the mouse.
The cow visits the bear.
@0: The bear is cold.[(triple1)] The bear visits the mouse.[(triple2)] The cow does not visit the bear.[(triple6)] The cow does not visit the dog.[(triple7)] The cow likes the bear.[(triple3)] The cow needs the bear.[(triple4)] The cow needs the mouse.[(triple5)] The dog likes the bear.[(triple8)] The dog likes the cow.[(triple9)] The dog needs the bear.[(triple10)] The dog visits the cow.[(triple11)] The mouse is green.[(triple12)] The mouse is round.[(triple13)] The mouse needs the cow.[(triple14)] The mouse visits the bear.[(triple15)] The mouse visits the cow.[(triple16)] @1: The dog does not like the mouse.[(((triple11) -> rule1))] The mouse does not like the mouse.[(((triple16) -> rule1))]