Bottles on a shelf with a mirror behind it with a guys reflection in the mirror.
There is no reflection in the mirror.
The mirror can not have no reflection if the guys reflection is in the mirror
exists x1 x2 x3 x4 x5.(a_topic(x1) & with(x1,x4) & in(x4,x3) & n_mirror(x3) & n_mirror(x3) & n_reflection(x4) & of(x4,x5) & n_guy(x5) & on(x1,x2) & with(x2,x3) & behind(x3,x1) & n_thing(x1) & n_shelf(x2) & n_bottle(x1))
exists p1 x1 x3.(n_mirror(x3) & -exists x2.((x1 = x2) & in(x2,x3) & n_reflection(x2)))