The dog chases the mouse. The dog chases the tiger. The dog eats the lion. The dog eats the mouse. The dog sees the mouse. The dog sees the tiger. The lion chases the dog. The lion chases the mouse. The lion is blue. The mouse eats the dog. The tiger does not eat the lion. The tiger is rough. If someone is red then they do not chase the tiger. If someone sees the dog and the dog chases the mouse then the dog is blue. If someone sees the dog and the dog does not see the mouse then they do not chase the mouse. If someone is big and not rough then they chase the dog. If the mouse sees the dog and the mouse is red then the mouse is blue. If someone is big and not blue then they see the tiger. If someone is blue and round then they see the tiger. If the tiger is round and the lion does not see the tiger then the tiger does not chase the lion.
The lion eats the mouse.
@0: The dog chases the mouse.[(triple1)] The dog chases the tiger.[(triple2)] The dog eats the lion.[(triple3)] The dog eats the mouse.[(triple4)] The dog sees the mouse.[(triple5)] The dog sees the tiger.[(triple6)] The lion chases the dog.[(triple7)] The lion chases the mouse.[(triple8)] The lion is blue.[(triple9)] The mouse eats the dog.[(triple10)] The tiger does not eat the lion.[(triple11)] The tiger is rough.[(triple12)]