The bear is rough. The bear needs the cow. The bear needs the mouse. The bear visits the mouse. The bear visits the tiger. The cow visits the mouse. The mouse eats the cow. The mouse is rough. The mouse visits the bear. The tiger needs the cow. The tiger visits the bear. The tiger visits the mouse. If someone visits the cow and the cow visits the bear then the bear needs the tiger. If someone eats the bear and they are kind then they need the cow. If someone eats the bear then the bear needs the mouse. If someone visits the tiger then the tiger needs the cow. If someone needs the tiger then the tiger is kind. If someone is cold then they visit the tiger. If the cow is cold and the cow eats the bear then the bear needs the cow. Blue people are rough.
The bear does not need the tiger.
@0: The bear is rough.[(triple1)] The bear needs the cow.[(triple2)] The bear needs the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The bear visits the tiger.[(triple5)] The cow visits the mouse.[(triple6)] The mouse eats the cow.[(triple7)] The mouse is rough.[(triple8)] The mouse visits the bear.[(triple9)] The tiger needs the cow.[(triple10 OR ((triple5) -> rule4))] The tiger visits the bear.[(triple11)] The tiger visits the mouse.[(triple12)]