The lion eats the mouse. The lion is big. The lion visits the tiger. The mouse eats the tiger. The mouse is big. The tiger is kind. The tiger visits the mouse. If someone visits the lion and they see the mouse then the mouse is nice. If someone visits the lion then they are big. If someone eats the mouse and they are big then they see the tiger. If someone sees the tiger then they see the mouse. If someone sees the lion then the lion eats the mouse. If someone visits the tiger then they are young.
The mouse does not eat the tiger.
@0: The lion eats the mouse.[(triple1)] The lion is big.[(triple2)] The lion visits the tiger.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse is big.[(triple5)] The tiger is kind.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The lion is young.[(((triple3) -> rule6))] The lion sees the tiger.[(((triple1 triple2) -> rule3))] @2: The lion sees the mouse.[(((((triple1 triple2) -> rule3)) -> rule4))]