premise: two large cocks are seen outside the el pub restaurant.com restaurant. hypothesis: The roosters are in the Zoo.
contradiction: One cannot be outside a restaurant and in the zoo at the same time.