The dog chases the mouse. The mouse eats the rabbit. The rabbit needs the mouse. If something eats the mouse then it needs the rabbit. If something needs the rabbit and it does not eat the dog then the dog is red.
The mouse chases the rabbit.
@0: The dog chases the mouse.[(triple1)] The mouse eats the rabbit.[(triple2)] The rabbit needs the mouse.[(triple3)]