The bear does not chase the cow. The bear does not chase the mouse. The bear chases the rabbit. The bear is kind. The bear is young. The bear likes the rabbit. The bear does not need the mouse. The cow is cold. The cow needs the bear. The mouse is nice. The mouse needs the bear. The rabbit is kind. The rabbit likes the mouse. The rabbit needs the bear. The rabbit needs the cow. All cold people are kind. If someone needs the bear then they do not need the mouse.
The mouse needs the mouse.
@0: The bear chases the rabbit.[(triple3)] The bear does not chase the cow.[(triple1)] The bear does not chase the mouse.[(triple2)] The bear does not need the mouse.[(triple7)] The bear is kind.[(triple4)] The bear is young.[(triple5)] The bear likes the rabbit.[(triple6)] The cow is cold.[(triple8)] The cow needs the bear.[(triple9)] The mouse is nice.[(triple10)] The mouse needs the bear.[(triple11)] The rabbit is kind.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The cow does not need the mouse.[(((triple9) -> rule2))] The cow is kind.[(((triple8) -> rule1))] The mouse does not need the mouse.[(((triple11) -> rule2))] The rabbit does not need the mouse.[(((triple14) -> rule2))]