Input: We knew John to be the murderer.
Output: 1