Logical Reasoning: quick vs long-term solution