The lion chases the mouse. The lion eats the squirrel. The lion is young. The lion visits the mouse. The mouse is big. The squirrel visits the lion. The tiger chases the mouse. The tiger eats the lion. The tiger eats the mouse. The tiger is green. If something is kind then it chases the squirrel. If something chases the tiger then the tiger visits the mouse. If the squirrel eats the tiger and the tiger chases the lion then the tiger is rough. If the mouse is rough then the mouse chases the lion. If something chases the lion then the lion is kind. If something chases the mouse and it chases the squirrel then the squirrel eats the tiger. If something eats the lion then the lion chases the tiger. If the mouse is rough then the mouse chases the tiger.
The tiger is green.
@0: The lion chases the mouse.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is young.[(triple3)] The lion visits the mouse.[(triple4)] The mouse is big.[(triple5)] The squirrel visits the lion.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger eats the lion.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is green.[(triple10)] @1: The lion chases the tiger.[(((triple8) -> rule7))] @2: The tiger visits the mouse.[(((((triple8) -> rule7)) -> rule2))]