The cow eats the squirrel. The cow is blue. The mouse sees the rabbit. The rabbit eats the squirrel. The rabbit is big. The rabbit sees the squirrel. The squirrel eats the cow. If something eats the rabbit and it likes the squirrel then the rabbit sees the cow. If something likes the mouse then the mouse is cold. If something likes the cow and it eats the rabbit then the cow is rough. If the mouse is young and the mouse is blue then the mouse is big. If the cow is rough and the cow sees the mouse then the cow sees the squirrel. If something is big then it eats the mouse.
The rabbit is cold.
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit is big.[(triple5)] The rabbit sees the squirrel.[(triple6)] The squirrel eats the cow.[(triple7)] @1: The rabbit eats the mouse.[(((triple5) -> rule6))]