The cat chases the cow. The cow visits the mouse. The mouse is blue. If something chases the mouse then it visits the cow.
The cat does not visit the cow.
@0: The cat chases the cow.[(triple1)] The cow visits the mouse.[(triple2)] The mouse is blue.[(triple3)]