The lady in the bikini is laying in the sun near the pool.
It is dark outside.
If the sun is out, then it cannot be dark outside.
exists e1 x1 x2 x3 x4.(n_pool(x4) & n_sun(x3) & n_bikini(x2) & n_lady(x1) & in(e1,x3) & near(x3,x4) & Actor(e1,x1) & v_lay(e1) & in(x1,x2))
exists p1 x1.(n_thing(x1) & exists s1 x2.((x1 = x2) & n_outside(x2) & a_dark(s1) & Theme(s1,x2)))