the urologist is not a Egypt and it is not a kind of a lower.
sent1: the urologist does not average angiocarp if the Weld does obliterate. sent2: if something does not wind that it is not a Egypt and it is not a lower does not hold. sent3: the Weld is a Cumberland if it does average cardiograph. sent4: the urologist averages cardiograph and/or it is a Egypt. sent5: if the Weld is a Cumberland or it does obliterate or both the urologist does not average angiocarp. sent6: if something is a kind of a wind then it does not transform and it is not a kind of a plasterer. sent7: if the urologist does not average angiocarp then it is not a kind of a Egypt and it does not lower. sent8: the Weld does not transform. sent9: the PCP is a Cumberland. sent10: the Weld is a masking. sent11: if the Weld does wind or is abyssal or both it does not remonstrate. sent12: the Weld averages cardiograph if it does not transform and it does not wind.
void -> assump1: Let's assume that the Weld does wind.; assump1 -> int1: the Weld is a wind and/or abyssal.; int1 & sent11 -> int2: the Weld does not remonstrate.;
the fact that the urologist is not a Egypt and it is not a lower is false.
sent2 -> int3: that the urologist is not a Egypt and it is not a lower is false if it is not a kind of a wind.;
$hypothesis$ = the urologist is not a Egypt and it is not a kind of a lower. ; $context$ = sent1: the urologist does not average angiocarp if the Weld does obliterate. sent2: if something does not wind that it is not a Egypt and it is not a lower does not hold. sent3: the Weld is a Cumberland if it does average cardiograph. sent4: the urologist averages cardiograph and/or it is a Egypt. sent5: if the Weld is a Cumberland or it does obliterate or both the urologist does not average angiocarp. sent6: if something is a kind of a wind then it does not transform and it is not a kind of a plasterer. sent7: if the urologist does not average angiocarp then it is not a kind of a Egypt and it does not lower. sent8: the Weld does not transform. sent9: the PCP is a Cumberland. sent10: the Weld is a masking. sent11: if the Weld does wind or is abyssal or both it does not remonstrate. sent12: the Weld averages cardiograph if it does not transform and it does not wind. ; $proof$ = 
void -> assump1: Let's assume that the Weld does wind.; assump1 -> int1: the Weld is a wind and/or abyssal.; int1 & sent11 -> int2: the Weld does not remonstrate.; __UNKNOWN__