The bear is cold. The bear is red. The bear visits the mouse. The cat is green. The cow chases the bear. The cow visits the bear. The mouse chases the bear. The mouse is green. The mouse is red. The mouse sees the cow. If something chases the bear and the bear chases the mouse then the mouse is red. If something visits the bear and it sees the cow then the cow is red. If something chases the mouse then the mouse visits the cow. If the cow visits the cat then the cat is cold. If something sees the bear and the bear is green then the bear is red. If something chases the mouse then it is green.
The cow is not red.
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear visits the mouse.[(triple3)] The cat is green.[(triple4)] The cow chases the bear.[(triple5)] The cow visits the bear.[(triple6)] The mouse chases the bear.[(triple7)] The mouse is green.[(triple8)] The mouse is red.[(triple9)] The mouse sees the cow.[(triple10)]