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