premise: There are several different bicycles sitting in front of several shops. hypothesis: There are no bikes outside of the shops.
contradiction: There can't be several and no bikes in front of the shops at the same time.