> 1.当一个robbery案例的1到t的每一个时刻都不能确定强盗的唯一位置时，这个案例最后才输出“Nothing known.”
> 2.最后输出的可能时间范围是[1，t]，也就是包括1，也包括t。