The bear is nice. The bear visits the cat. The cat eats the bear. The cat is green. The cat is kind. The cat is round. The cat sees the mouse. The cat visits the mouse. The dog is nice. The dog does not visit the mouse. The mouse eats the bear. The mouse does not eat the cat. The mouse eats the dog. The mouse is rough. The mouse sees the cat. The mouse does not see the dog. If something visits the cat and it visits the mouse then it eats the cat. If something eats the mouse then the mouse visits the bear. If something eats the dog and the dog eats the bear then it sees the mouse.
The mouse sees the cat.
@0: The bear is nice.[(triple1)] The bear visits the cat.[(triple2)] The cat eats the bear.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5)] The cat is round.[(triple6)] The cat sees the mouse.[(triple7)] The cat visits the mouse.[(triple8)] The dog does not visit the mouse.[(triple10)] The dog is nice.[(triple9)] The mouse does not eat the cat.[(triple12)] The mouse does not see the dog.[(triple16)] The mouse eats the bear.[(triple11)] The mouse eats the dog.[(triple13)] The mouse is rough.[(triple14)] The mouse sees the cat.[(triple15)]