The mouse is blue. The mouse is red. The mouse visits the tiger. The tiger is red. The tiger likes the mouse. The tiger sees the mouse. The tiger visits the mouse. If someone visits the tiger and the tiger visits the mouse then the mouse is green. If someone sees the mouse and the mouse visits the tiger then the mouse is green. If the mouse visits the tiger then the tiger visits the mouse.
The mouse is not green.
@0: The mouse is blue.[(triple1)] The mouse is red.[(triple2)] The mouse visits the tiger.[(triple3)] The tiger is red.[(triple4)] The tiger likes the mouse.[(triple5)] The tiger sees the mouse.[(triple6)] The tiger visits the mouse.[(triple7 OR ((triple3) -> rule3))] @1: The mouse is green.[(((triple3 triple7) -> rule1) OR ((triple6 triple3) -> rule2) OR ((triple3 ((triple3) -> rule3)) -> rule1))]