Took a crack at it myself and it seems very difficult to find an elegant solution to this other than brute forcing.... even figuring out P(shoe has exactly 3 attack damage) is non trivial

Would be interested to see an answer