The lion sees the mouse. The mouse eats the lion. The mouse is big. If something visits the mouse then the mouse is young. If the lion eats the mouse and the lion is not young then the mouse eats the lion. If something is big then it visits the lion. If something sees the lion then the lion is big. If something eats the mouse and the mouse is green then it visits the mouse. If something visits the lion then the lion sees the mouse. If something eats the lion and it is big then it sees the lion. If something is young and it does not see the lion then it is kind.
The mouse is not young.
@0: The lion sees the mouse.[(triple1 OR ((((triple3) -> rule3)) -> rule6) OR ((((((((triple2 triple3) -> rule7)) -> rule4)) -> rule3)) -> rule6))] The mouse eats the lion.[(triple2)] The mouse is big.[(triple3)] @1: The mouse sees the lion.[(((triple2 triple3) -> rule7))] The mouse visits the lion.[(((triple3) -> rule3))] @2: The lion is big.[(((((triple2 triple3) -> rule7)) -> rule4))] @3: The lion visits the lion.[(((((((triple2 triple3) -> rule7)) -> rule4)) -> rule3))]