Input: him belief that Mary kissed Bill is mistaken.
Output: 0