The dog is blue. The dog likes the squirrel. The dog visits the rabbit. The mouse is blue. The mouse likes the dog. The mouse likes the rabbit. The mouse visits the dog. The mouse visits the rabbit. The rabbit is green. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel is cold. The squirrel is green. The squirrel needs the rabbit. The squirrel visits the mouse. If someone needs the mouse then the mouse likes the dog. If someone likes the mouse and the mouse visits the rabbit then the mouse is blue. If someone is rough then they like the rabbit.
The dog is not blue.
@0: The dog is blue.[(triple1)] The dog likes the squirrel.[(triple2)] The dog visits the rabbit.[(triple3)] The mouse is blue.[(triple4)] The mouse likes the dog.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse visits the dog.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit is green.[(triple9)] The rabbit likes the squirrel.[(triple10)] The rabbit needs the squirrel.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the mouse.[(triple15)]