premise: This man is working with an I-pad.
hypothesis: the man is eating lunch
explanation_1: The man can't be working with an Ipad while eating lunch.
explanation_2: The man is either working or eating, not both.
explanation_3: Working with an I-pad and eating lunch both take two hands to perform and are not typically done at the same time.
premise_logic: exists e1 x1 x2.(n_man(x1) & with(e1,x2) & n_i-pad(x2) & Actor(e1,x1) & v_work(e1))
hypothesis_logic: exists p1 x1.(n_man(x1) & exists s1 x2.((x1 = x2) & n_lunch(x2) & a_eating(s1) & Theme(s1,x2)))