The cat eats the dog. The cat is round. The cat visits the squirrel. The dog chases the squirrel. The dog eats the cat. The dog is rough. The dog visits the squirrel. The squirrel does not chase the cat. The squirrel eats the cat. The squirrel eats the dog. The squirrel is rough. The squirrel visits the cat. If the squirrel chases the dog and the dog does not eat the squirrel then the dog is cold. If something visits the cat and the cat does not visit the squirrel then it does not chase the cat.
The squirrel does not visit the cat.
@0: The cat eats the dog.[(triple1)] The cat is round.[(triple2)] The cat visits the squirrel.[(triple3)] The dog chases the squirrel.[(triple4)] The dog eats the cat.[(triple5)] The dog is rough.[(triple6)] The dog visits the squirrel.[(triple7)] The squirrel does not chase the cat.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the cat.[(triple12)]