premise: One pale dog is rolling on his back while two others stand nearby. hypothesis: A dog is running around two men.
contradiction: There can be either one dog and two men or three dogs. A dog can be either rolling on his back or running around.