|  | @@ -1,7 +1,12 @@
 | 
	
		
			
				|  |  | +% Possibilities
 | 
	
		
			
				|  |  | +suspect(ms-scarlet; colonel-mustard).
 | 
	
		
			
				|  |  | +weapon(revolver; candle).
 | 
	
		
			
				|  |  | +place(kitchen; hall; dining-room).
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  |  % 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.
 | 
	
		
			
				|  |  | +1{murderer(X):suspect(X)}1.
 | 
	
		
			
				|  |  | +1{weapon-of-crime(X):weapon(X)}1.
 | 
	
		
			
				|  |  | +1{place-of-crime(X):place(X)}1.
 | 
	
		
			
				|  |  |  
 | 
	
		
			
				|  |  |  % Card deduction
 | 
	
		
			
				|  |  |  :- place(kitchen).
 |