The lion chases the tiger. The lion eats the squirrel. The mouse is blue. The mouse is green. The mouse sees the lion. The squirrel chases the tiger. The tiger is nice. If someone is blue then they see the mouse. If someone chases the mouse then they eat the mouse. If someone eats the lion then the lion chases the mouse. If someone is red and they see the mouse then they eat the lion. All young people are blue. If someone chases the tiger and the tiger is blue then the tiger eats the lion. If someone eats the lion then the lion chases the tiger. If someone is red and they eat the lion then the lion eats the squirrel.
The tiger is nice.
@0: The lion chases the tiger.[(triple1)] The lion eats the squirrel.[(triple2)] The mouse is blue.[(triple3)] The mouse is green.[(triple4)] The mouse sees the lion.[(triple5)] The squirrel chases the tiger.[(triple6)] The tiger is nice.[(triple7)] @1: The mouse sees the mouse.[(((triple3) -> rule1))]