there exists something such that if the fact that either it is nominalistic or it is vesicular or both is not right it is non-humoral.
sent1: something is not humoral if the fact that it is either not non-nominalistic or vesicular or both is wrong. sent2: the halberd is not a kind of a plier if that either it is vesicular or it does stoke Belem or both does not hold.
sent1 -> int1: if that that the halberd is nominalistic and/or is vesicular hold is not true it is not humoral.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that either it is nominalistic or it is vesicular or both is not right it is non-humoral. ; $context$ = sent1: something is not humoral if the fact that it is either not non-nominalistic or vesicular or both is wrong. sent2: the halberd is not a kind of a plier if that either it is vesicular or it does stoke Belem or both does not hold. ; $proof$ = 
sent1 -> int1: if that that the halberd is nominalistic and/or is vesicular hold is not true it is not humoral.; int1 -> hypothesis; __PROVED__