The mouse chases the tiger. The mouse is big. The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse likes the tiger. The mouse visits the tiger. The tiger chases the mouse. The tiger is big. The tiger is cold. The tiger is green. The tiger is kind. The tiger likes the mouse. The tiger visits the mouse. If something likes the mouse then it visits the tiger.
The mouse is not big.
@0: The mouse chases the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse is kind.[(triple5)] The mouse is nice.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The tiger visits the tiger.[(((triple14) -> rule1))]