The cow is green. The cow sees the dog. The dog chases the cow. The dog chases the mouse. The dog is nice. The mouse chases the dog. The mouse chases the tiger. The mouse is kind. The mouse is red. The mouse visits the tiger. The tiger is red. The tiger is round. If the mouse is nice then the mouse sees the tiger. If the tiger is kind and the tiger visits the cow then the cow sees the tiger. If something is round then it visits the tiger.
The cow does not visit the tiger.
@0: The cow is green.[(triple1)] The cow sees the dog.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the mouse.[(triple4)] The dog is nice.[(triple5)] The mouse chases the dog.[(triple6)] The mouse chases the tiger.[(triple7)] The mouse is kind.[(triple8)] The mouse is red.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger is red.[(triple11)] The tiger is round.[(triple12)] @1: The tiger visits the tiger.[(((triple12) -> rule3))]