The cat chases the dog. The cat chases the lion. The cat eats the lion. The cat does not eat the tiger. The cat is big. The cat visits the lion. The dog eats the cat. The lion chases the cat. The lion chases the dog. The lion does not eat the tiger. The tiger chases the dog. The tiger visits the lion. If something is red and it does not eat the dog then it eats the cat. If something visits the cat then it is blue. If the tiger is young and the dog does not chase the tiger then the dog does not visit the cat.
The cat chases the tiger.
@0: The cat chases the dog.[(triple1)] The cat chases the lion.[(triple2)] The cat does not eat the tiger.[(triple4)] The cat eats the lion.[(triple3)] The cat is big.[(triple5)] The cat visits the lion.[(triple6)] The dog eats the cat.[(triple7)] The lion chases the cat.[(triple8)] The lion chases the dog.[(triple9)] The lion does not eat the tiger.[(triple10)] The tiger chases the dog.[(triple11)] The tiger visits the lion.[(triple12)]