The cat eats the mouse. The cat eats the tiger. The cat is not kind. The cat does not need the mouse. The cat visits the tiger. The mouse is not nice. The mouse is young. The mouse needs the tiger. The tiger is not blue. The tiger is young. The tiger needs the cat. The tiger visits the cat. If something eats the tiger and the tiger visits the cat then the tiger eats the mouse. If something is kind then it needs the mouse.
The mouse does not need the mouse.
@0: The cat does not need the mouse.[(triple4)] The cat eats the mouse.[(triple1)] The cat eats the tiger.[(triple2)] The cat is not kind.[(triple3)] The cat visits the tiger.[(triple5)] The mouse is not nice.[(triple6)] The mouse is young.[(triple7)] The mouse needs the tiger.[(triple8)] The tiger is not blue.[(triple9)] The tiger is young.[(triple10)] The tiger needs the cat.[(triple11)] The tiger visits the cat.[(triple12)] @1: The tiger eats the mouse.[(((triple2 triple12) -> rule1))]