DESTROYING BILLY IN CHESS WITH FACTS AND LOGIC