The lion does not eat the mouse. The lion eats the tiger. The lion is green. The lion is not red. The mouse eats the lion. The mouse eats the tiger. The mouse is not rough. The mouse visits the lion. The tiger does not eat the mouse. The tiger is not red. The tiger needs the lion. The tiger visits the mouse. If something is green then it does not visit the tiger.
The mouse does not visit the lion.
@0: The lion does not eat the mouse.[(triple1)] The lion eats the tiger.[(triple2)] The lion is green.[(triple3)] The lion is not red.[(triple4)] The mouse eats the lion.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is not rough.[(triple7)] The mouse visits the lion.[(triple8)] The tiger does not eat the mouse.[(triple9)] The tiger is not red.[(triple10)] The tiger needs the lion.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The lion does not visit the tiger.[(((triple3) -> rule1))]