One skater is wearing a blue shirt with black shorts and the other skater is wearing a red shirt with black shorts.
The skaters are naked.
Both skaters are wearing clothes so they can't be naked.
exists e1 e2 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6.(-(x4 = x1) & n_skater(x4) & Theme(e2,x5) & Actor(e2,x4) & v_wear(e2) & with(x5,x6) & n_shorts(x6) & a_black(s4) & Theme(s4,x6) & n_shirt(x5) & a_red(s3) & Theme(s3,x5) & n_skater(x1) & n_skater(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & with(x2,x3) & n_shorts(x3) & a_black(s2) & Theme(s2,x3) & n_shirt(x2) & a_blue(s1) & Theme(s1,x2) & card_eq_1(x1))
exists s1 x1.(n_skater(x1) & Theme(s1,x1) & a_naked(s1))