The bear chases the mouse. The bear chases the tiger. The bear eats the mouse. The bear eats the tiger. The bear is cold. The bear is red. The bear likes the mouse. The bear likes the tiger. The mouse chases the tiger. The mouse eats the bear. The mouse is cold. The mouse is rough. The tiger chases the bear. The tiger eats the bear. The tiger eats the mouse. The tiger is green. If someone chases the bear and the bear likes the mouse then they chase the mouse. If someone likes the tiger and they chase the bear then the bear eats the tiger. If someone chases the mouse and they like the bear then the bear eats the tiger.
The tiger does not eat the mouse.
@0: The bear chases the mouse.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the mouse.[(triple3)] The bear eats the tiger.[(triple4)] The bear is cold.[(triple5)] The bear is red.[(triple6)] The bear likes the mouse.[(triple7)] The bear likes the tiger.[(triple8)] The mouse chases the tiger.[(triple9)] The mouse eats the bear.[(triple10)] The mouse is cold.[(triple11)] The mouse is rough.[(triple12)] The tiger chases the bear.[(triple13)] The tiger eats the bear.[(triple14)] The tiger eats the mouse.[(triple15)] The tiger is green.[(triple16)] @1: The tiger chases the mouse.[(((triple13 triple7) -> rule1))]