 Dave could clearly see that nothing was on the desk.
Dave saw that the desk was empty, but he wondered if his eyes were betraying him.
mnli hypothesis: Dave saw that the desk was empty, but he wondered if his eyes were betraying him. premise:  Dave could clearly see that nothing was on the desk.