The cat chases the dog. The cat sees the dog. The cat sees the rabbit. The dog eats the rabbit. The dog is green. The dog sees the rabbit. The mouse eats the dog. The mouse is green. The mouse sees the cat. The mouse sees the dog. The rabbit chases the dog. The rabbit sees the mouse. If someone chases the dog then they are green. If someone sees the mouse and they see the dog then the mouse eats the dog.
The mouse eats the mouse.
@0: The cat chases the dog.[(triple1)] The cat sees the dog.[(triple2)] The cat sees the rabbit.[(triple3)] The dog eats the rabbit.[(triple4)] The dog is green.[(triple5)] The dog sees the rabbit.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is green.[(triple8)] The mouse sees the cat.[(triple9)] The mouse sees the dog.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit sees the mouse.[(triple12)] @1: The cat is green.[(((triple1) -> rule1))] The rabbit is green.[(((triple11) -> rule1))]