The cat is blue. The lion needs the cat. The mouse does not eat the lion. The squirrel needs the mouse. If someone eats the mouse and they eat the cat then the mouse does not chase the cat. If someone needs the squirrel then the squirrel is green. If someone chases the lion then the lion is not young. If someone needs the mouse then the mouse is green. If someone needs the cat and the cat is young then they are young. If the lion is not blue then the lion needs the squirrel. If the lion eats the squirrel and the lion chases the squirrel then the lion does not need the squirrel. If the squirrel chases the cat and the squirrel does not chase the mouse then the squirrel does not chase the lion.
The squirrel is not young.
@0: The cat is blue.[(triple1)] The lion needs the cat.[(triple2)] The mouse does not eat the lion.[(triple3)] The squirrel needs the mouse.[(triple4)] @1: The mouse is green.[(((triple4) -> rule4))]