The cow needs the mouse. The mouse sees the rabbit. The rabbit likes the tiger. The rabbit needs the tiger. The rabbit sees the mouse. The tiger is kind. The tiger sees the rabbit. If the cow needs the tiger then the tiger needs the cow. If the cow needs the tiger and the cow is round then the tiger is kind. If something likes the cow and it needs the mouse then the cow is big. If something likes the tiger then the tiger needs the rabbit. If the rabbit needs the mouse then the rabbit needs the cow. If the mouse needs the cow then the cow likes the rabbit.
The cow does not like the rabbit.
@0: The cow needs the mouse.[(triple1)] The mouse sees the rabbit.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit needs the tiger.[(triple4)] The rabbit sees the mouse.[(triple5)] The tiger is kind.[(triple6)] The tiger sees the rabbit.[(triple7)] @1: The tiger needs the rabbit.[(((triple3) -> rule4))]