The mouse visits the tiger. The tiger eats the mouse. If the mouse sees the tiger then the tiger sees the mouse. If someone sees the mouse then the mouse is nice. If someone eats the tiger and they see the mouse then they are big. If someone eats the mouse then they eat the tiger. If someone visits the tiger then they see the tiger. If someone sees the mouse then they are big.
The tiger does not see the mouse.
@0: The mouse visits the tiger.[(triple1)] The tiger eats the mouse.[(triple2)] @1: The mouse sees the tiger.[(((triple1) -> rule5))] The tiger eats the tiger.[(((triple2) -> rule4))] @2: The tiger sees the mouse.[(((((triple1) -> rule5)) -> rule1))] @3: The mouse is nice.[(((((((triple1) -> rule5)) -> rule1)) -> rule2))] The tiger is big.[(((((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((((triple1) -> rule5)) -> rule1)) -> rule3))]