The mouse eats the squirrel. The mouse eats the tiger. The mouse is blue. The mouse is red. The mouse visits the squirrel. The squirrel visits the mouse. The squirrel visits the tiger. The tiger chases the squirrel. The tiger eats the mouse. The tiger visits the squirrel. If something visits the mouse then the mouse is blue. If the squirrel chases the mouse then the mouse eats the tiger. If the squirrel is green then the squirrel visits the mouse.
The squirrel eats the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is blue.[(triple3 OR ((triple6) -> rule1))] The mouse is red.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel visits the mouse.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger visits the squirrel.[(triple10)]