Input: his belief that Mary kissed Bill is mistaken.
Output: 1