The bear chases the dog. The bear is blue. The dog chases the bear. The dog chases the mouse. The dog is blue. The mouse chases the bear. The mouse chases the rabbit. The mouse eats the dog. The mouse is young. The rabbit chases the dog. The rabbit is blue. The rabbit is rough. The rabbit is young. The rabbit sees the bear. The rabbit sees the dog. If someone chases the mouse then they eat the dog.
The dog does not eat the dog.
@0: The bear chases the dog.[(triple1)] The bear is blue.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the mouse.[(triple4)] The dog is blue.[(triple5)] The mouse chases the bear.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is young.[(triple9)] The rabbit chases the dog.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is young.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The dog eats the dog.[(((triple4) -> rule1))]