The dog chases the tiger. The dog is red. The mouse chases the dog. The mouse chases the tiger. The mouse is red. The mouse sees the dog. The mouse visits the rabbit. The rabbit visits the dog. The tiger is red. The tiger visits the dog. If the rabbit sees the dog and the tiger does not see the rabbit then the rabbit does not chase the mouse.
The mouse does not chase the dog.
@0: The dog chases the tiger.[(triple1)] The dog is red.[(triple2)] The mouse chases the dog.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse is red.[(triple5)] The mouse sees the dog.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit visits the dog.[(triple8)] The tiger is red.[(triple9)] The tiger visits the dog.[(triple10)]