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