The mouse chases the squirrel. The mouse is not big. The mouse is young. The mouse needs the squirrel. The squirrel does not chase the mouse. The squirrel is nice. The squirrel is young. If someone needs the squirrel and they chase the squirrel then they eat the squirrel.
The squirrel is nice.
@0: The mouse chases the squirrel.[(triple1)] The mouse is not big.[(triple2)] The mouse is young.[(triple3)] The mouse needs the squirrel.[(triple4)] The squirrel does not chase the mouse.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is young.[(triple7)] @1: The mouse eats the squirrel.[(((triple4 triple1) -> rule1))]