A group of three women and one man peer into a store window.
A man and three women are in an airplane.
There are no store windows in airplanes, therefore, the group of people cannot look into the store window and be in an airplane at the same time.
exists x1 x2 x3 x4 x5 x6 x7.(a_topic(x1) & into(x1,x6) & n_window(x6) & of(x6,x7) & n_store(x7) & of(x1,x2) & n_peer(x4) & of(x4,x5) & n_man(x5) & card_eq_1(x4) & n_woman(x3) & card_eq_3(x3) & subset_of(x4,x2) & subset_of(x3,x2) & n_group(x1))
exists p1 x1 x2.(exists x3.(in(x1,x3) & n_airplane(x3)) & n_woman(x1) & card_eq_3(x1) & of(x1,x2) & n_man(x2))