premise: Semi-pro martial artist practices his most powerful moves.
hypothesis: The martial artist has been trained.
explanation_1: Not all martial artist have been trained.
explanation_2: practicing does not imply has been trained
explanation_3: Not all martial artists have been trained.
premise_logic: (x)
hypothesis_logic: exists e1 s1 x1.(n_artist(x1) & a_martial(s1) & Theme(s1,x1) & Theme(e1,x1) & v_train(e1))