The mouse does not chase the squirrel. The mouse likes the rabbit. The rabbit likes the squirrel. The squirrel chases the tiger. The tiger chases the mouse. The tiger is not red. The tiger needs the rabbit. If something is red and it does not need the mouse then the mouse is blue. If the mouse needs the squirrel then the mouse is young. If something likes the rabbit then the rabbit is green. If something is young and it likes the squirrel then it is not cold. If something chases the squirrel and it does not chase the rabbit then it is red. If something chases the rabbit and it likes the tiger then it chases the mouse.
The mouse is not young.
@0: The mouse does not chase the squirrel.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit likes the squirrel.[(triple3)] The squirrel chases the tiger.[(triple4)] The tiger chases the mouse.[(triple5)] The tiger is not red.[(triple6)] The tiger needs the rabbit.[(triple7)] @1: The rabbit is green.[(((triple2) -> rule3))]