the immunoassay does not occur.
sent1: the simulating does not occur. sent2: that the overflowing does not occur is triggered by that the heaving does not occur. sent3: the Mediterranean does not occur. sent4: either that the reddening fumigator happens or that the getting Permic happens or both is caused by that the one-and-one does not occur. sent5: the angling galbanum occurs. sent6: that the getting Permic does not occur prevents that the reddening fumigator occurs. sent7: the reddening fumigator occurs if the immunoassay occurs. sent8: the reddening unselfishness occurs.
void -> assump1: Let's assume that the immunoassay occurs.; sent7 & assump1 -> int1: the reddening fumigator happens.;
the immunoassay occurs.
$hypothesis$ = the immunoassay does not occur. ; $context$ = sent1: the simulating does not occur. sent2: that the overflowing does not occur is triggered by that the heaving does not occur. sent3: the Mediterranean does not occur. sent4: either that the reddening fumigator happens or that the getting Permic happens or both is caused by that the one-and-one does not occur. sent5: the angling galbanum occurs. sent6: that the getting Permic does not occur prevents that the reddening fumigator occurs. sent7: the reddening fumigator occurs if the immunoassay occurs. sent8: the reddening unselfishness occurs. ; $proof$ = 
void -> assump1: Let's assume that the immunoassay occurs.; sent7 & assump1 -> int1: the reddening fumigator happens.; __UNKNOWN__