that the webworm is not auscultatory or it is non-malignant or both does not hold.
sent1: The fizgig does launch fantail. sent2: if that the Manichaean is malignant is right that the webworm is not auscultatory and/or it is not malignant is not right. sent3: that the fantail is not a fringe but it launches fizgig is wrong if the Manichaean is not malignant. sent4: the fantail does launch fizgig.
void -> assump1: Let's assume that the Manichaean is not malignant.; sent3 & assump1 -> int1: that the fantail does not fringe but it does launch fizgig is false.;
$hypothesis$ = that the webworm is not auscultatory or it is non-malignant or both does not hold. ; $context$ = sent1: The fizgig does launch fantail. sent2: if that the Manichaean is malignant is right that the webworm is not auscultatory and/or it is not malignant is not right. sent3: that the fantail is not a fringe but it launches fizgig is wrong if the Manichaean is not malignant. sent4: the fantail does launch fizgig. ; $proof$ = 
void -> assump1: Let's assume that the Manichaean is not malignant.; sent3 & assump1 -> int1: that the fantail does not fringe but it does launch fizgig is false.; __UNKNOWN__