Premise: He's a very simple program, not even nearly alive.

Hypothesis: The program is completely alive. 
Relation: contradiction