premise: Two workers holding up the tree look around, while the other two work hard with their shovels. hypothesis: Four workers dig deep with their shovels.
contradiction: Two of workers can't be holding up the tree and also all four dig with their shovels.