The bear chases the mouse. The bear eats the mouse. The bear is rough. The bear needs the mouse. The mouse chases the bear. The mouse eats the bear. The mouse eats the tiger. The mouse is red. The mouse needs the tiger. The tiger chases the bear. The tiger chases the mouse. The tiger eats the bear. The tiger eats the mouse. The tiger is not red. The tiger needs the bear. The tiger does not need the mouse. If something chases the mouse then it is cold. If the bear needs the tiger then the tiger is rough. If something is cold then it chases the tiger.
The bear eats the bear.
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2)] The bear is rough.[(triple3)] The bear needs the mouse.[(triple4)] The mouse chases the bear.[(triple5)] The mouse eats the bear.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is red.[(triple8)] The mouse needs the tiger.[(triple9)] The tiger chases the bear.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger does not need the mouse.[(triple16)] The tiger eats the bear.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is not red.[(triple14)] The tiger needs the bear.[(triple15)] @1: The bear is cold.[(((triple1) -> rule1))] The tiger is cold.[(((triple11) -> rule1))] @2: The bear chases the tiger.[(((((triple1) -> rule1)) -> rule3))] The tiger chases the tiger.[(((((triple11) -> rule1)) -> rule3))]