PREFIX : <https://example.org/ns/example#>

{:will :lives _:e_b0_1. _:e_b0_1 :place :buckinham_palace. _:e_b0_1 :number 12} a :Lie.
_:e_b0_1 a :IncorrectPlace.
{{?U_0 :lives ?U_1. ?U_1 :place :buckinham_palace. ?U_1 :number 12} a :Lie} => {?U_1 a :IncorrectPlace}.

