[Donald]

It's a language completion model, so it's not surprising at all that it struggles with logical inference. That's probably one of the reasons that instruction fine-tuning has such a dramatic effect in the performance of these models: they're finally given some of the underlying causal priors of the task domain.