The cow eats the dog. The cow is red. The cow visits the dog. The dog eats the cow. The dog is blue. The dog is green. The dog sees the cow. If someone eats the dog and they eat the cow then the dog is green. If someone visits the cow and the cow is red then the cow eats the dog. If someone visits the dog and they do not visit the cow then they eat the dog.
The dog does not eat the dog.
@0: The cow eats the dog.[(triple1)] The cow is red.[(triple2)] The cow visits the dog.[(triple3)] The dog eats the cow.[(triple4)] The dog is blue.[(triple5)] The dog is green.[(triple6)] The dog sees the cow.[(triple7)]