the fact that there exists something such that if it is not an angioplasty then it is not a Argive and is not Uniate is not true.
sent1: if the polyp is not an angioplasty it is not a Argive and not Uniate.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not an angioplasty then it is not a Argive and is not Uniate is not true. ; $context$ = sent1: if the polyp is not an angioplasty it is not a Argive and not Uniate. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__