The dog chases the mouse. The dog chases the rabbit. The dog eats the mouse. The dog is big. The dog is young. The dog visits the mouse. The mouse chases the dog. The mouse chases the rabbit. The mouse is kind. The mouse visits the dog. The rabbit eats the dog. The rabbit eats the mouse. The rabbit is green. The rabbit visits the dog. The rabbit visits the mouse. If the mouse visits the dog then the mouse visits the rabbit. If someone is young and they eat the rabbit then they chase the dog. If someone eats the mouse and the mouse is red then they eat the dog.
The dog is not big.
@0: The dog chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The dog eats the mouse.[(triple3)] The dog is big.[(triple4)] The dog is young.[(triple5)] The dog visits the mouse.[(triple6)] The mouse chases the dog.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse is kind.[(triple9)] The mouse visits the dog.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is green.[(triple13)] The rabbit visits the dog.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The mouse visits the rabbit.[(((triple10) -> rule1))]