the whanging musophobia does not occur.
sent1: the dispersing does not occur if the convulsing does not occur and the scattering does not occur. sent2: both the dispersing and the noncombinativeness happens. sent3: the whanging rapid does not occur if the bivalentness but not the avulsion occurs.
void -> assump1: Let's assume that the convulsing does not occur and the scattering does not occur.; sent1 & assump1 -> int1: the dispersing does not occur.; sent2 -> int2: the dispersing happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the convulsing does not occur and the scattering does not occur is not right.;
$hypothesis$ = the whanging musophobia does not occur. ; $context$ = sent1: the dispersing does not occur if the convulsing does not occur and the scattering does not occur. sent2: both the dispersing and the noncombinativeness happens. sent3: the whanging rapid does not occur if the bivalentness but not the avulsion occurs. ; $proof$ = 
void -> assump1: Let's assume that the convulsing does not occur and the scattering does not occur.; sent1 & assump1 -> int1: the dispersing does not occur.; sent2 -> int2: the dispersing happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the convulsing does not occur and the scattering does not occur is not right.; __UNKNOWN__