The cat chases the rabbit. The cat is green. The cat is red. The cat needs the mouse. The mouse needs the rabbit. The rabbit is young. The squirrel eats the rabbit. If something chases the cat then the cat eats the mouse. If the cat is red then the cat eats the rabbit.
The mouse chases the cat.
@0: The cat chases the rabbit.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat needs the mouse.[(triple4)] The mouse needs the rabbit.[(triple5)] The rabbit is young.[(triple6)] The squirrel eats the rabbit.[(triple7)] @1: The cat eats the rabbit.[(((triple3) -> rule2))]