The mouse eats the squirrel. The mouse is big. The mouse is blue. The mouse visits the squirrel. The squirrel likes the mouse. The tiger is big. The tiger visits the mouse. If someone is blue then they visit the mouse. If someone eats the tiger then the tiger is cold. If someone is green and they like the mouse then they are cold. If the squirrel is blue and the squirrel likes the mouse then the mouse is young. If someone is big and they eat the mouse then the mouse eats the squirrel. If the squirrel is cold and the squirrel likes the mouse then the mouse visits the squirrel.
The tiger is blue.
@0: The mouse eats the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse visits the squirrel.[(triple4)] The squirrel likes the mouse.[(triple5)] The tiger is big.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The mouse visits the mouse.[(((triple3) -> rule1))]