premise: Two men sitting on a bench where one has his head in his lap and a large yellow bag next to him. hypothesis: Nobody is sitting.
contradiction: it is not possible to have someone and nobody sitting at the same time.