Premise: Arrive at the Vacaville library, 1020 Ulatis Drive, at 4 p.m. on the following  April 23, May 7, May 21, June 4 or June

Hypothesis: No arrivals should take place at the Vacaville library on April 23rd.
Relation: contradiction