I am being told that:
Adam or Mary are home, in spite of Dog1 and Dog2 not being happy.
How should I translate this as a First Order Logic sentence?
I don't know whenever to consider
Adam or Mary are home
as a "regular" or, or an exclusive or.
Also, should I consider the case that both Dog1 and Dog2 are unhappy? Or must always at least (and at most) one of them to be happy?