;さらに調べたところ，三月ウサギとヤマネの少なくとも一方は嘘だということがわかりました．
;⇒(xor (①) (③))⇒(xor (①) (xor (①) (②)))

ここ違いませんか？