[hardlianotion]

For what it's worth, I think that the problem lies in the solution feeling "obvious" and people being a little lazy - I don't think the problem lies with inability.

I also think that if A then B is unambiguous, the counter that languages are different doesn't really fit with what I think I observe in the wild. For the full house, I also fail to see how that means I must accept that your example statement is obviously true.