This is beautiful evening with the river and the setting sun.
The sky is red
Just because the sun is setting doesn't mean the sky is red
exists p1 x1 x2 x3 x4.(n_setting(x4) & n_river(x3) & with(p1,x2) & subset_of(x4,x2) & Time(x4,x1) & n_sun(x1) & subset_of(x3,x2) & exists s1 x5.((x1 = x5) & n_evening(x5) & a_beautiful(s1) & Theme(s1,x5)) & n_thing(x1))
exists s1 x1.(n_sky(x1) & Theme(s1,x1) & a_red(s1))