The dog visits the mouse. The mouse is red. If something sees the mouse and the mouse eats the dog then the mouse sees the dog. If the dog visits the mouse and the mouse is round then the dog is round. If the dog eats the mouse then the mouse sees the dog. If something eats the mouse then the mouse is red. If something eats the mouse and the mouse visits the dog then the mouse eats the dog. If the dog eats the mouse then the mouse is rough.
The dog does not visit the mouse.
@0: The dog visits the mouse.[(triple1)] The mouse is red.[(triple2)]