Premise: He's a very simple program, not even nearly alive.
Hypothesis: The program is completely alive. 
Label: contradiction