The cat eats the dog. The cat is cold. The cat is young. The dog eats the cat. The dog eats the mouse. The dog is blue. The dog is cold. The dog likes the cat. The dog likes the mouse. The mouse eats the dog. The mouse is green. The mouse is rough. The mouse is young. The mouse likes the cat. The mouse likes the dog. If the cat likes the dog and the cat is rough then the cat eats the mouse. If something is blue and it visits the mouse then the mouse is cold. If the cat likes the dog and the cat visits the mouse then the dog eats the cat.
The dog does not eat the mouse.
@0: The cat eats the dog.[(triple1)] The cat is cold.[(triple2)] The cat is young.[(triple3)] The dog eats the cat.[(triple4)] The dog eats the mouse.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog likes the cat.[(triple8)] The dog likes the mouse.[(triple9)] The mouse eats the dog.[(triple10)] The mouse is green.[(triple11)] The mouse is rough.[(triple12)] The mouse is young.[(triple13)] The mouse likes the cat.[(triple14)] The mouse likes the dog.[(triple15)]