The cow is not blue. The cow is rough. The lion is big. The mouse chases the cow. The mouse chases the squirrel. The mouse eats the squirrel. The squirrel eats the mouse. If someone eats the lion and the lion is not blue then they eat the mouse. If someone is big and they chase the squirrel then the squirrel is young. If someone eats the squirrel then the squirrel chases the cow. If someone eats the lion and the lion chases the squirrel then the lion likes the squirrel. If someone is green then they like the squirrel. If someone likes the cow then they are not green.
The mouse is blue.
@0: The cow is not blue.[(triple1)] The cow is rough.[(triple2)] The lion is big.[(triple3)] The mouse chases the cow.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse eats the squirrel.[(triple6)] The squirrel eats the mouse.[(triple7)] @1: The squirrel chases the cow.[(((triple6) -> rule3))]