The mouse is green. The mouse is kind. The mouse is nice. The mouse sees the tiger. The tiger eats the mouse. The tiger is kind. The tiger visits the mouse. If someone is cold and they visit the tiger then they eat the mouse. If the mouse is kind then the mouse visits the tiger. If someone is cold and they see the mouse then the mouse visits the tiger. If the tiger visits the mouse and the mouse visits the tiger then the tiger sees the mouse. If someone sees the mouse then they are cold. If someone visits the tiger then they visit the mouse.
The mouse does not eat the tiger.
@0: The mouse is green.[(triple1)] The mouse is kind.[(triple2)] The mouse is nice.[(triple3)] The mouse sees the tiger.[(triple4)] The tiger eats the mouse.[(triple5)] The tiger is kind.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The mouse visits the tiger.[(((triple2) -> rule2))] @2: The mouse visits the mouse.[(((((triple2) -> rule2)) -> rule6))] The tiger sees the mouse.[(((triple7 ((triple2) -> rule2)) -> rule4))] @3: The tiger is cold.[(((((triple7 ((triple2) -> rule2)) -> rule4)) -> rule5))]