逻辑推理，。

玛丽是松鼠，海伦是獾，达拉是狐狸。
玛丽就是松鼠，因为松鼠只能说真话，说的是真话就是海伦是獾，剩下的达拉只能是狐狸，狐狸可以说谎也可以说实话，达拉说玛丽是松鼠，显然达拉狐狸说的是真话，这样这个逻辑就成立了，海伦是獾，海伦说他是一只狐狸，獾只能说谎话，他是獾却说他是狐狸，这句话是成立的。三个都对上号了，因果关系都成立。刚开始的逻辑推理就是挨个试一下，当发现错误的时候，就在变一下，最终正确答案就出来了，一个只能说实话，一个只能说假话，这两个条件是不变的，剩下一个可以说实话也可以说谎话。

假定海伦的话是真的，那么海伦是狐狸，玛丽是獾，达拉是松鼠，但达拉又说玛丽是松鼠，所以这轮推断是错的，也就是说海伦不是狐狸，那么海伦只能是獾。既然海伦是獾已确定，则玛丽就可能是松鼠或者狐狸，那么达拉就可能是松鼠或狐狸，因为此时玛丽和达拉同时说了真话，松鼠总说真话，狐狸是可能讲真话的，所以玛丽和达拉的身份无法确定，狐狸和松鼠都有可能。我就这水平了，不对的话别笑话。