Logical Deduction Engine
Medium
Ready for Analysis
Click "Deduce Next Step" to discover the next rigorous human-style move without guessing.
Step-by-Step Proof Log
No steps logged yet. Deductions made will appear here.