The bear is not nice. The bear needs the mouse. The bear does not need the tiger. The dog is young. The dog does not like the bear. The dog needs the mouse. The dog does not visit the bear. The dog visits the tiger. The mouse is big. The mouse likes the dog. The mouse likes the tiger. The mouse needs the bear. The mouse visits the dog. The tiger is nice. The tiger likes the mouse. The tiger visits the bear. If something is big and not blue then it visits the bear. If something visits the tiger then the tiger is not big. If the mouse likes the tiger and the tiger is not cold then the tiger needs the mouse. If something likes the tiger and the tiger visits the mouse then the tiger does not like the dog. If something likes the tiger then it visits the tiger. If something is blue and not big then it needs the mouse.
The dog does not visit the bear.
@0: The bear does not need the tiger.[(triple3)] The bear is not nice.[(triple1)] The bear needs the mouse.[(triple2)] The dog does not like the bear.[(triple5)] The dog does not visit the bear.[(triple7)] The dog is young.[(triple4)] The dog needs the mouse.[(triple6)] The dog visits the tiger.[(triple8)] The mouse is big.[(triple9)] The mouse likes the dog.[(triple10)] The mouse likes the tiger.[(triple11)] The mouse needs the bear.[(triple12)] The mouse visits the dog.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger visits the bear.[(triple16)] @1: The mouse visits the tiger.[(((triple11) -> rule5))] The tiger is not big.[(((triple8) -> rule2) OR ((((triple11) -> rule5)) -> rule2))]