The bear chases the mouse. The bear is round. The bear sees the mouse. The bear visits the mouse. The cat chases the cow. The cat does not see the bear. The cat visits the bear. The cow chases the cat. The cow is red. The cow is round. The cow visits the bear. The cow visits the cat. The mouse is kind. The mouse sees the bear. The mouse visits the bear. The mouse visits the cat. If the cow chases the bear and the bear is not blue then the cow does not visit the cat.
The cat is not blue.
@0: The bear chases the mouse.[(triple1)] The bear is round.[(triple2)] The bear sees the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The cat chases the cow.[(triple5)] The cat does not see the bear.[(triple6)] The cat visits the bear.[(triple7)] The cow chases the cat.[(triple8)] The cow is red.[(triple9)] The cow is round.[(triple10)] The cow visits the bear.[(triple11)] The cow visits the cat.[(triple12)] The mouse is kind.[(triple13)] The mouse sees the bear.[(triple14)] The mouse visits the bear.[(triple15)] The mouse visits the cat.[(triple16)]