there is something such that if it is not Kantian and it is not a sublimate then it does disabuse psalmody.
sent1: if the fixer-upper is a kind of non-Kantian thing that is not a sublimate it disabuses psalmody.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not Kantian and it is not a sublimate then it does disabuse psalmody. ; $context$ = sent1: if the fixer-upper is a kind of non-Kantian thing that is not a sublimate it disabuses psalmody. ; $proof$ = 
sent1 -> hypothesis; __PROVED__