premise: This man is working with an I-pad.
hypothesis: the man has a pc
explanation_1: An I-pad is not a pc.
explanation_2: Answer: Either the man has a PC or an I-pad one cannot have both simultaneously.
explanation_3: Man can't be working no pc and I-pad.
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 e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_pc(x2))