In the living room, there is a couch, a number of lights and seat looking onto a television. 
The couch is in the kitchen.
The couch is not in the kitchen if its in the living room.
exists p1 x1 x2 x3.(n_room(x2) & of(x2,x3) & n_living(x3) & in(p1,x2) & exists e1 x4 x5 x6 x7 x8 x9 x10.((x1 = x4) & rel(x4,x5) & onto(e1,x10) & n_television(x10) & Actor(e1,x9) & v_look(e1) & (x5 = x9) & of(x5,x6) & n_seat(x8) & n_light(x7) & subset_of(x8,x6) & subset_of(x7,x6) & n_number(x5) & n_couch(x4)))
exists p1 x1 x2.(n_kitchen(x2) & n_couch(x1) & in(x1,x2))