Much remains under-researched in how learners make use of domain-specific feedback. In this paper, we report on how learners’ can be supported to overcome logical circularity during their proof construction processes, and how feedback supports the processes. We present an analysis of three selected episodes from five learners who were using a web-based proof learning support system. Through this analysis we illustrate the various errors they made, including using circular reasoning, which were related to their understanding of hypothetical syllogism as an element of the structure of mathematical proof. We found that, by using the computer-based feedback and, for some, teacher intervention, the learners started considering possible combinations of assumptions and conclusion, and began realising when their proof fell into logical circularity. Our findings raise important issues about the nature and role of computer-based feedback such as how feedback is used by learners, and the importance of teacher intervention in computer-based learning environments.