A guy in a huge wooden tub while people are looking over.
A woman is in a bathtub.
A guy is not the same as a woman. A woman is female while a guy is male.
(-x)
exists p1 x1.(exists x2.(in(x1,x2) & n_bathtub(x2)) & n_woman(x1))