Input: When I am awake at that time and Susan is asleep, Bill will leave.
Output: 0