If being the biggest company was a guarantee of success, we'd all be using IBM computers and driving GM cars.
GM is one of the smallest companies currently, they make computers.
mnli hypothesis: GM is one of the smallest companies currently, they make computers. premise: If being the biggest company was a guarantee of success, we'd all be using IBM computers and driving GM cars.