% One possibility only
1{murderer(ms_scarlet),murder(colonel_mustard)}1.
1{weapon(revolver),weapon(candle)}1.
1{place(kitchen),place(hall), place(dining-room)}1.

% Card deduction
:- place(kitchen).
place(hall) :- murderer(colonel_mustard), not weapon(revolver).
weapon(candle).