你想證明什麼?

xxxxxx[人]xxxxxxxxxxxx<法律>
-輸入------->輸出----------中間狀態-->
(死刑)-----(殺人分屍)-------(
有死刑---->犯下殺人分屍---->死刑, disable! 這個殺[人]的程式/函數迴圈在此結束. 不能繼續殺人分屍.
有死刑---->沒有殺人分屍---->無罪繼續, enable. 這個[人]的程式/函數繼續迴圈.
無死刑---->犯下殺人分屍---->坐牢假釋, enable. 這個殺[人]的程式/函數可以繼續(殺人分屍)迴圈.
無死刑---->沒有殺人分屍---->無罪繼續, enable. 這個[人]的程式/函數繼續迴圈.