The bear eats the mouse. The bear eats the tiger. The bear is cold. The bear needs the cow. The bear visits the tiger. The cow eats the mouse. The cow is not red. The cow needs the mouse. The cow visits the bear. The cow does not visit the mouse. The cow visits the tiger. The mouse is kind. The mouse is nice. The tiger needs the bear. The tiger needs the mouse. If the tiger visits the cow then the tiger does not eat the mouse. If someone needs the tiger and the tiger visits the bear then they need the bear. If someone is kind then they do not eat the bear. If someone needs the tiger then they visit the mouse. If someone is nice and not kind then they do not eat the mouse. If the bear eats the cow and the cow needs the tiger then the cow is red.
The bear needs the mouse.
@0: The bear eats the mouse.[(triple1)] The bear eats the tiger.[(triple2)] The bear is cold.[(triple3)] The bear needs the cow.[(triple4)] The bear visits the tiger.[(triple5)] The cow does not visit the mouse.[(triple10)] The cow eats the mouse.[(triple6)] The cow is not red.[(triple7)] The cow needs the mouse.[(triple8)] The cow visits the bear.[(triple9)] The cow visits the tiger.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The tiger needs the bear.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The mouse does not eat the bear.[(((triple12) -> rule3))]