The bear does not need the mouse. The bear needs the tiger. The bear visits the tiger. The mouse is not rough. The mouse needs the bear. The mouse needs the tiger. The mouse visits the bear. The tiger is not red. The tiger is not rough. The tiger likes the bear. The tiger likes the mouse. The tiger visits the mouse. If something is big then it visits the mouse. If something is red then it does not visit the mouse. If something needs the bear then the bear visits the tiger. If something visits the tiger and it needs the bear then the tiger visits the mouse. If something is green then it does not need the mouse. If something visits the tiger and it needs the bear then it does not need the mouse. If something is big then it is not cold. If the bear does not need the mouse then the mouse likes the bear.
The bear likes the bear.
@0: The bear does not need the mouse.[(triple1)] The bear needs the tiger.[(triple2)] The bear visits the tiger.[(triple3 OR ((triple5) -> rule3))] The mouse is not rough.[(triple4)] The mouse needs the bear.[(triple5)] The mouse needs the tiger.[(triple6)] The mouse visits the bear.[(triple7)] The tiger is not red.[(triple8)] The tiger is not rough.[(triple9)] The tiger likes the bear.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The mouse likes the bear.[(((triple1) -> rule8))]