The bear is cold. The dog visits the rabbit. The mouse needs the rabbit. The rabbit visits the mouse. If something visits the dog then it visits the mouse.
The dog visits the rabbit.
@0: The bear is cold.[(triple1)] The dog visits the rabbit.[(triple2)] The mouse needs the rabbit.[(triple3)] The rabbit visits the mouse.[(triple4)]