premise: JETBLUE CEO SLAMS 'BIG THREE': If United Airlines, Delta Air Lines and American Airlines were really serious about their claims that two Persian Gulf nations are violating the spirit of their Open Skies agreements, "<hypo> ..."
hypothesis: <hypo> should be "they probably would have followed the established DOT process, filing an official complaint"