If being the biggest company was a guarantee of success, we'd all be using IBM computers and driving GM cars.
IBM and GM are some of the biggest companies right now.
mnli hypothesis: IBM and GM are some of the biggest companies right now. premise: If being the biggest company was a guarantee of success, we'd all be using IBM computers and driving GM cars.