Abstract: Inference Web provides an explanation infrastructure for many types of distributed question answering systems, including theorem provers. It uses a proof interlingua called the Proof Markup Language as an explanation interchange language. We have recently integrated our work with the TPTP system for automated theorem provers. In this demonstration we will show Inference Web in action in the context of TPTP. and in particular show a browsing tool called Probeit and a searching interface called IWSearch. One interesting feature is the ability to view not only the details of one proof but also searching for multiple proofs for the same conclusion. We will solicit feedback on existing functionality and invite requests for features.