Girl with red-hair modeling.
A boy with blonde hair is modeling.
The Girl contradicts with a Boy in the second statement, besides the color of the hair.
exists s1 s2 x1.(ne_nam_girl(s1) & a_topic(s1) & with(s1,x1) & n_modeling(x1) & a_red-hair(s2) & Theme(s2,x1))
exists e1 s1 x1 x2.(Actor(e1,x1) & v_model(e1) & with(x1,x2) & n_hair(x2) & a_blonde(s1) & Theme(s1,x2) & n_boy(x1))