The dog visits the squirrel. The mouse eats the rabbit. The mouse is red. The mouse sees the dog. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel eats the rabbit. If the dog eats the mouse and the dog sees the rabbit then the dog is red.
The rabbit visits the mouse.
@0: The dog visits the squirrel.[(triple1)] The mouse eats the rabbit.[(triple2)] The mouse is red.[(triple3)] The mouse sees the dog.[(triple4)] The rabbit visits the mouse.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel eats the rabbit.[(triple7)]