The bear chases the mouse. The bear eats the cat. The bear is big. The bear is red. The bear is rough. The bear visits the cat. The bear visits the cow. The cat visits the bear. The cow eats the cat. The mouse chases the cat. The mouse chases the cow. The mouse eats the bear. The mouse visits the bear. The mouse visits the cat. The mouse visits the cow. If the cat visits the cow then the cow is young. If the cow is red and the cow is rough then the cow visits the mouse.
The cow does not visit the mouse.
@0: The bear chases the mouse.[(triple1)] The bear eats the cat.[(triple2)] The bear is big.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear visits the cat.[(triple6)] The bear visits the cow.[(triple7)] The cat visits the bear.[(triple8)] The cow eats the cat.[(triple9)] The mouse chases the cat.[(triple10)] The mouse chases the cow.[(triple11)] The mouse eats the bear.[(triple12)] The mouse visits the bear.[(triple13)] The mouse visits the cat.[(triple14)] The mouse visits the cow.[(triple15)]