Input: It proves that John is the murderer that he has blood on his hands.
Output: 0