They either didn't go to court or they lost at court.
They were lucky to have won their court case. 
mnli hypothesis: They were lucky to have won their court case.  premise: They either didn't go to court or they lost at court.