The cow visits the mouse. The dog is cold. The mouse visits the squirrel. The squirrel needs the cow. If something is blue and it does not like the mouse then the mouse is blue.
The mouse is not blue.
@0: The cow visits the mouse.[(triple1)] The dog is cold.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel needs the cow.[(triple4)]