The cow does not chase the mouse. The cow chases the squirrel. The cow eats the mouse. The cow likes the squirrel. The lion chases the squirrel. The lion eats the cow. The lion eats the squirrel. The lion is cold. The lion likes the cow. The mouse eats the cow. The mouse is not nice. The squirrel chases the lion. If someone is big then they chase the lion. If someone chases the lion then they eat the lion. If someone is nice then they do not eat the lion. If the lion is cold and the lion is not rough then the lion is nice. If the cow chases the lion and the cow likes the lion then the cow eats the lion. If someone eats the lion then the lion is big. If someone is big and they chase the mouse then the mouse does not chase the cow. If someone is rough then they like the lion. If someone eats the lion then they like the squirrel.
The mouse does not chase the lion.
@0: The cow chases the squirrel.[(triple2)] The cow does not chase the mouse.[(triple1)] The cow eats the mouse.[(triple3)] The cow likes the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion eats the cow.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is cold.[(triple8)] The lion likes the cow.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is not nice.[(triple11)] The squirrel chases the lion.[(triple12)] @1: The squirrel eats the lion.[(((triple12) -> rule2))] @2: The lion is big.[(((((triple12) -> rule2)) -> rule6))] The squirrel likes the squirrel.[(((((triple12) -> rule2)) -> rule9))] @3: The lion chases the lion.[(((((((triple12) -> rule2)) -> rule6)) -> rule1))] @4: The lion eats the lion.[(((((((((triple12) -> rule2)) -> rule6)) -> rule1)) -> rule2))] @5: The lion likes the squirrel.[(((((((((((triple12) -> rule2)) -> rule6)) -> rule1)) -> rule2)) -> rule9))]