premise: A man in yellow rain gear holding a shovel looks on as a man in a green jacket swings a pick at the ground. hypothesis: The man is inside the library reading a book.
contradiction: The man would not be in rain gear holding a shovel as he looks at someone if he were presently inside a library reading.