The mouse eats the tiger. The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is young. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is young. The tiger needs the mouse. The tiger sees the mouse. If someone sees the mouse and the mouse needs the tiger then they need the tiger.
The mouse eats the mouse.
@0: The mouse eats the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is kind.[(triple5)] The mouse is young.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is kind.[(triple13)] The tiger is young.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The tiger needs the tiger.[(((triple16 triple7) -> rule1))]