He's a very simple program, not even nearly alive.
The program will be used to help prepare taxes.
mnli hypothesis: The program will be used to help prepare taxes. premise: He's a very simple program, not even nearly alive.