premise: A young woman on a bike and three men cross a courtyard. hypothesis: the birds were short necked.
contradiction: Either the beings are a woman and three men or they are birds. They cannot be both.