there is something such that if it is an anathema then that it is addictive or it is not a malfeasant or both is incorrect.
sent1: that the fact that the hypoglossal is addictive and/or not a malfeasant is not correct is not incorrect if it is a kind of an anathema.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is an anathema then that it is addictive or it is not a malfeasant or both is incorrect. ; $context$ = sent1: that the fact that the hypoglossal is addictive and/or not a malfeasant is not correct is not incorrect if it is a kind of an anathema. ; $proof$ = 
sent1 -> hypothesis; __PROVED__