1. _wrong refutation_: the LLM wrongly claims that the conclusion can not be proved;
2. _rule hallucination_: the LLM generates rules that do not exist in the problem;
3. _fact hallucination_: the LLM generates facts that do not exist in the problem and are unproven.