Using the Logic Assistant
1
Find the Logic Assistant

You'll find the Logic Assistant in the top-left corner.
2
Ask the Logic Assistant a question
The Logic Assistant will think about your question, and first provide a plan of action. Read through the plan and then click Apply Plan to continue, or ask the assistant to iterate on it.