The bear chases the tiger. The bear is big. The bear is cold. The bear needs the tiger. The bear visits the mouse. The mouse chases the tiger. The mouse is cold. The mouse is red. The mouse is rough. The mouse needs the bear. The mouse visits the bear. The mouse visits the tiger. The tiger chases the mouse. The tiger is big. The tiger visits the mouse. If the tiger needs the mouse and the tiger needs the bear then the tiger is rough. If something needs the tiger then the tiger chases the bear. If the bear needs the tiger then the tiger needs the bear. If something needs the bear then it visits the tiger. If something visits the mouse and the mouse is young then it is young. If something chases the mouse and it chases the tiger then it visits the tiger. If something is young and it chases the bear then the bear needs the mouse. If something needs the bear and it visits the bear then it chases the bear.
The tiger does not chase the mouse.
@0: The bear chases the tiger.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear needs the tiger.[(triple4)] The bear visits the mouse.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse is cold.[(triple7)] The mouse is red.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the bear.[(triple10)] The mouse visits the bear.[(triple11)] The mouse visits the tiger.[(triple12 OR ((triple10) -> rule4))] The tiger chases the mouse.[(triple13)] The tiger is big.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse chases the bear.[(((triple10 triple11) -> rule8))] The tiger chases the bear.[(((triple4) -> rule2))] The tiger needs the bear.[(((triple4) -> rule3))] @2: The tiger visits the tiger.[(((((triple4) -> rule3)) -> rule4))]