Generate and analyze simpler examples that satisfy both the assumptions and the conclusion of a theorem statement or subgoal. Use when you are stuck in reasoning and need simpler examples to regain traction, when you need simpler examples that satisfy both assumptions and conclusion, or when you want to see where the assumptions take effect and gain intuition.
Use this skill when the agent is stuck in reasoning and needs simpler examples that satisfy both the assumptions and the conclusion in order to understand why the statement works.
Read:
immediate_conclusionscounterexamples and failed branch notesAppend to toy_examples:
{
"example": "...",
"why_relevant": "...",
"assumptions_satisfied": ["..."],
"conclusion_verified": true,
"where_assumptions_take_effect": "...",
"observed_pattern": "...",
"supports_branch_ids": ["optional"],
"subgoal_id": "optional"
}
memory_appendmemory_searchsearch_arxiv_theorems for matching examples/known motifs$search-math-results when broader retrieval is neededIf generated examples are inconclusive, append an events record:
event_type="toy_examples_inconclusive"