The mouse eats the tiger. The mouse is kind. The mouse visits the tiger. The tiger eats the mouse. The tiger is blue. The tiger is kind. The tiger visits the mouse. If something visits the tiger then it visits the mouse. If something visits the mouse then it is blue. If something is blue then it is green.
The tiger chases the tiger.
@0: The mouse eats the tiger.[(triple1)] The mouse is kind.[(triple2)] The mouse visits the tiger.[(triple3)] The tiger eats the mouse.[(triple4)] The tiger is blue.[(triple5 OR ((triple7) -> rule2))] The tiger is kind.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The mouse visits the mouse.[(((triple3) -> rule1))] The tiger is green.[(((triple5) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] @2: The mouse is blue.[(((((triple3) -> rule1)) -> rule2))] @3: The mouse is green.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))]