premise: First Lady Laura Bush at podium, in front of seated audience, at the White House Conference on Global Literacy.
hypothesis: Laura Bush is driving a jet-ski near the Washington monument.
explanation_1: One cannot be at podium and driving simultaneously.
explanation_2: Laura Bush is either at podium, or driving a jet-ski near the Washington monument.
explanation_3: If she is at the podium standing in front of an audience she cannot also be driving a jet-ski.
premise_logic: exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(n_conference(x7) & (x7 = x9) & ne_org_house(x9) & (x7 = x8) & ne_org_white(x8) & ne_per_bush(s1) & (s1 = x3) & ne_per_laura(x3) & (s1 = x2) & ne_per_lady(x2) & (s1 = x1) & ne_nam_first(x1) & a_topic(s1) & at(s1,x7) & on(x7,x10) & n_literacy(x10) & a_global(s2) & Theme(s2,x10) & in(s1,x5) & of(x5,x6) & n_audience(x6) & Theme(e1,x6) & v_seat(e1) & n_front(x5) & at(s1,x4) & n_podium(x4))
hypothesis_logic: exists e1 x1 x2 x3 x4 x5.(n_monument(x4) & (x4 = x5) & ne_geo_washington(x5) & ne_per_bush(x1) & (x1 = x2) & ne_per_laura(x2) & Theme(e1,x3) & Actor(e1,x1) & v_drive(e1) & near(x3,x4) & n_jet-skus(x3))