The bear eats the mouse. The bear eats the tiger. The bear is blue. The bear likes the mouse. The bear likes the tiger. The mouse eats the bear. The mouse eats the tiger. The mouse is blue. The mouse is nice. The mouse likes the bear. The mouse likes the tiger. The tiger eats the bear. The tiger eats the mouse. The tiger is red. The tiger visits the bear. The tiger visits the mouse. If something is nice then it likes the bear. If something likes the bear and it is red then it is blue. If something eats the mouse and it likes the bear then it visits the mouse.
The mouse eats the tiger.
@0: The bear eats the mouse.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear likes the mouse.[(triple4)] The bear likes the tiger.[(triple5)] The mouse eats the bear.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is blue.[(triple8)] The mouse is nice.[(triple9)] The mouse likes the bear.[(triple10 OR ((triple9) -> rule1))] The mouse likes the tiger.[(triple11)] The tiger eats the bear.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is red.[(triple14)] The tiger visits the bear.[(triple15)] The tiger visits the mouse.[(triple16)]