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