premise: A blue-colored racing sailboat sporting the number 5 and Oracle corporate logos is sailing just off a rocky beach with a grass-covered sloping hill. hypothesis: The boat is docked in the bay.
contradiction: A boat can't be docked and sailing.