step 13 Apply Logical Rules and Heuristic Shortcuts

Jsjsj