The bear visits the cow. The cow chases the squirrel. The squirrel is nice. If something chases the squirrel and the squirrel chases the bear then the bear is red.
The bear does not visit the cow.
@0: The bear visits the cow.[(triple1)] The cow chases the squirrel.[(triple2)] The squirrel is nice.[(triple3)]