that there exists something such that if it is both autocatalytic and not iritic it is cathodic is wrong.
sent1: if the sourpuss is a kind of autocatalytic thing that is not iritic it is cathodic.
sent1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is both autocatalytic and not iritic it is cathodic is wrong. ; $context$ = sent1: if the sourpuss is a kind of autocatalytic thing that is not iritic it is cathodic. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__