The cat eats the mouse. The cat does not like the mouse. The cat likes the tiger. The cat needs the tiger. The mouse eats the tiger. The mouse does not like the squirrel. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is red. The squirrel does not like the mouse. The tiger is nice. The tiger is red. The tiger does not like the mouse. The tiger needs the squirrel. If someone needs the cat and the cat eats the mouse then they eat the cat. If someone likes the tiger and they are big then the tiger is young. If someone needs the squirrel then the squirrel needs the mouse. If someone is young then they need the cat. If someone eats the cat and they do not eat the tiger then the cat needs the mouse. If someone needs the tiger and the tiger eats the squirrel then they like the squirrel. If someone is young then they are rough. If someone needs the mouse and they need the tiger then they are not big.
The squirrel eats the mouse.
@0: The cat does not like the mouse.[(triple2)] The cat eats the mouse.[(triple1)] The cat likes the tiger.[(triple3)] The cat needs the tiger.[(triple4)] The mouse does not like the squirrel.[(triple6)] The mouse eats the tiger.[(triple5)] The mouse needs the squirrel.[(triple7)] The squirrel does not like the mouse.[(triple11)] The squirrel eats the mouse.[(triple8)] The squirrel is big.[(triple9)] The squirrel is red.[(triple10)] The tiger does not like the mouse.[(triple14)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger needs the squirrel.[(triple15)] @1: The squirrel needs the mouse.[(((triple15) -> rule3) OR ((triple7) -> rule3))]