mnli premise: On his keyboard he typed various letters and numbers, which would become computer programs for the 0-1 Computer Associates company. hypothesis: The 0-1 Computer Associates company hired him as a programmer. 