The cat eats the mouse. The cat is blue. The cat is round. The cat visits the dog. The dog is cold. The dog is round. The dog visits the cat. The dog does not visit the tiger. The mouse eats the dog. The mouse is not cold. The mouse likes the cat. The tiger eats the dog. The tiger likes the mouse. The tiger visits the dog. The tiger visits the mouse. If someone likes the mouse and they are round then the mouse likes the cat.
The mouse does not visit the cat.
@0: The cat eats the mouse.[(triple1)] The cat is blue.[(triple2)] The cat is round.[(triple3)] The cat visits the dog.[(triple4)] The dog does not visit the tiger.[(triple8)] The dog is cold.[(triple5)] The dog is round.[(triple6)] The dog visits the cat.[(triple7)] The mouse eats the dog.[(triple9)] The mouse is not cold.[(triple10)] The mouse likes the cat.[(triple11)] The tiger eats the dog.[(triple12)] The tiger likes the mouse.[(triple13)] The tiger visits the dog.[(triple14)] The tiger visits the mouse.[(triple15)]