The cat eats the squirrel. The cat is green. The cat sees the squirrel. The mouse eats the cat. The mouse eats the squirrel. The mouse is blue. The mouse needs the cat. The squirrel eats the cat. The squirrel is big. The squirrel sees the cat. If the mouse needs the cat then the cat sees the mouse. If someone sees the mouse and they need the squirrel then the squirrel needs the mouse. If someone sees the mouse and the mouse sees the cat then the mouse needs the squirrel. If someone sees the squirrel then the squirrel sees the mouse. If someone is young and they eat the cat then the cat needs the squirrel. If someone eats the mouse and the mouse is green then they see the mouse. If someone eats the cat and the cat eats the mouse then the cat sees the squirrel. If the mouse needs the squirrel then the squirrel sees the mouse.
The mouse is green.
@0: The cat eats the squirrel.[(triple1)] The cat is green.[(triple2)] The cat sees the squirrel.[(triple3)] The mouse eats the cat.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is blue.[(triple6)] The mouse needs the cat.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is big.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The cat sees the mouse.[(((triple7) -> rule1))] The squirrel sees the mouse.[(((triple3) -> rule4))]