逻辑推理，。

我们假设海伦说的是实话，那么海伦是一只狐狸，玛丽在撒谎，那么玛丽是一只獾，达拉是一只松鼠。但是达拉说玛丽是一只松鼠，这与假设相矛盾，所以海伦在撒谎。

从海伦所说的是一个谎言，我们可以知道海伦不是一只狐狸，所以海伦是一只獾。这个时候我们就可以知道玛丽说的是实话，所以玛丽可能是狐狸，也可能是松鼠。

这时候假设达拉在说谎，那么玛丽不是松鼠而是狐狸，但这时达拉只能是松鼠，这就和松鼠只说真话的条件相矛盾了，所以达拉说的是真话，也就是说玛丽是松鼠，所以达拉是狐狸。