The cow is nice. The cow sees the tiger. The dog chases the mouse. The dog eats the cow. The dog eats the tiger. The dog is kind. The dog is nice. The dog is not round. The dog does not see the cow. The dog sees the tiger. The mouse chases the dog. The mouse is rough. The mouse sees the tiger. The tiger chases the cow. The tiger chases the dog. The tiger does not eat the mouse. If the dog sees the cow and the dog is not green then the cow eats the mouse. If someone chases the mouse then the mouse chases the cow.
The tiger does not chase the cow.
@0: The cow is nice.[(triple1)] The cow sees the tiger.[(triple2)] The dog chases the mouse.[(triple3)] The dog does not see the cow.[(triple9)] The dog eats the cow.[(triple4)] The dog eats the tiger.[(triple5)] The dog is kind.[(triple6)] The dog is nice.[(triple7)] The dog is not round.[(triple8)] The dog sees the tiger.[(triple10)] The mouse chases the dog.[(triple11)] The mouse is rough.[(triple12)] The mouse sees the tiger.[(triple13)] The tiger chases the cow.[(triple14)] The tiger chases the dog.[(triple15)] The tiger does not eat the mouse.[(triple16)] @1: The mouse chases the cow.[(((triple3) -> rule2))]