premise: A baby in a bathrobe waits for his shower.
hypothesis: A baby is having his diaper changed.
explanation_1: The baby is either having a diaper change or putting on a bathrobe to take a shower.
explanation_2: A baby is either wearing a bathrobe or getting his diaper changed.
explanation_3: The baby who waits for his shower can't be having his diaper changed.
premise_logic: exists e1 x1 x2 x3.(for(e1,x3) & n_shower(x3) & of(x3,x1) & n_male(x1) & Actor(e1,x1) & v_wait(e1) & in(x1,x2) & n_bathrobe(x2) & n_baby(x1))
hypothesis_logic: exists e2 e1 x1 x2 x3.(Theme(e2,x2) & Actor(e2,x1) & v_have(e2) & Actor(e1,x3) & v_change(e1) & (x2 = x3) & n_diaper(x2) & of(x2,x1) & n_male(x1) & n_baby(x1))