The lion does not eat the tiger. The lion is green. The mouse is red. The mouse needs the tiger. The mouse visits the lion. The tiger is nice. The tiger needs the mouse. If someone eats the lion then the lion does not visit the tiger. If someone is nice then they are not round. If someone is big then they eat the lion. If someone needs the mouse and the mouse is not green then the mouse visits the tiger. If someone visits the lion and they are nice then they do not eat the tiger. If the mouse visits the tiger then the tiger is not big.
The tiger needs the tiger.
@0: The lion does not eat the tiger.[(triple1)] The lion is green.[(triple2)] The mouse is red.[(triple3)] The mouse needs the tiger.[(triple4)] The mouse visits the lion.[(triple5)] The tiger is nice.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The tiger is not round.[(((triple6) -> rule2))]