The dog eats the rabbit. The dog is red. The mouse chases the rabbit. The mouse eats the dog. The mouse is green. The rabbit does not chase the dog. The rabbit eats the dog. If the dog needs the rabbit and the rabbit does not chase the mouse then the rabbit does not chase the dog. If something needs the rabbit then it eats the mouse. If something is round then it does not eat the dog. If something needs the dog and the dog does not chase the mouse then the dog does not eat the mouse. If something eats the rabbit and the rabbit is red then the rabbit is round. If something chases the dog then it does not chase the rabbit. If something chases the mouse then the mouse is green. If something eats the dog and the dog eats the mouse then it is big.
The mouse is cold.
@0: The dog eats the rabbit.[(triple1)] The dog is red.[(triple2)] The mouse chases the rabbit.[(triple3)] The mouse eats the dog.[(triple4)] The mouse is green.[(triple5)] The rabbit does not chase the dog.[(triple6)] The rabbit eats the dog.[(triple7)]