PPQTN-Reasoner