The lion eats the tiger. The lion is nice. The lion visits the tiger. The mouse is nice. The mouse visits the tiger. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. The tiger likes the lion. The tiger likes the mouse. The tiger visits the lion. If something visits the lion and it likes the tiger then the lion eats the tiger. If something visits the tiger then the tiger likes the lion. If something is green then it eats the mouse. If the tiger eats the mouse then the tiger likes the lion. If something is kind then it visits the mouse. If something likes the tiger then the tiger is green. If something visits the lion and the lion eats the mouse then the lion is green. If something visits the tiger and the tiger eats the lion then it eats the tiger.
The lion likes the lion.
@0: The lion eats the tiger.[(triple1)] The lion is nice.[(triple2)] The lion visits the tiger.[(triple3)] The mouse is nice.[(triple4)] The mouse visits the tiger.[(triple5)] The tiger is green.[(triple6)] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger likes the lion.[(triple10 OR ((triple3) -> rule2) OR ((triple5) -> rule2) OR ((((triple6) -> rule3)) -> rule4))] The tiger likes the mouse.[(triple11)] The tiger visits the lion.[(triple12)] @1: The tiger eats the mouse.[(((triple6) -> rule3))] The tiger visits the mouse.[(((triple7) -> rule5))]