premise: Three men; one pedaling while playing drums, one playing piano and one both pedaling and steering, move a type of mobile band down a street.
hypothesis: Three men are at a table playing cards
explanation_1: If you're moving a mobile band down a street, you definitely aren't at a table playing cards.
explanation_2: The three men are either at a table playing cards or playing musical instruments and steering.
explanation_3: Three men cannot be at table playing cards if one pedaling while playing drums, one playing piano and one both pedaling and steering,
premise_logic: (x)
hypothesis_logic: exists p1 x1.(exists x2 x3 x4.(at(x1,x2) & n_card(x2) & of(x2,x4) & n_playing(x4) & of(x2,x3) & n_table(x3)) & n_man(x1) & card_eq_3(x1))