the diffusion does not occur.
sent1: that not the unbending peroxidase but the cytoarchitecturalness happens is wrong. sent2: that the amplitude does not occur but the Unionness occurs is wrong if the wholesale occurs. sent3: both the inactiveness and the quadraphonicness occurs. sent4: both the naught and the superiorness occurs if the turning does not occur. sent5: the sit-up occurs and the ethnologicalness occurs. sent6: the unsuccessfulness does not occur. sent7: if the superior does not occur then the diffusion and the naught occurs. sent8: the fact that the interpretation does not occur and the acousticness occurs is not correct. sent9: the non-superiorness triggers the diffusion and/or the naught. sent10: the turning does not occur. sent11: if the diffusion occurs the fact that the convoying redemption does not occur and the authorship does not occur is not true. sent12: if the superiorness does not occur or the convoying elegance happens or both then the superiorness does not occur. sent13: if the teasing ruined does not occur then the offering paralegal occurs and the scowling happens.
void -> assump1: Let's assume that the diffusion happens.; sent11 & assump1 -> int1: the fact that the convoying redemption does not occur and the authorship does not occur does not hold.; sent4 & sent10 -> int2: the naught happens and the superior occurs.; int2 -> int3: the naught occurs.;
the diffusion happens.
$hypothesis$ = the diffusion does not occur. ; $context$ = sent1: that not the unbending peroxidase but the cytoarchitecturalness happens is wrong. sent2: that the amplitude does not occur but the Unionness occurs is wrong if the wholesale occurs. sent3: both the inactiveness and the quadraphonicness occurs. sent4: both the naught and the superiorness occurs if the turning does not occur. sent5: the sit-up occurs and the ethnologicalness occurs. sent6: the unsuccessfulness does not occur. sent7: if the superior does not occur then the diffusion and the naught occurs. sent8: the fact that the interpretation does not occur and the acousticness occurs is not correct. sent9: the non-superiorness triggers the diffusion and/or the naught. sent10: the turning does not occur. sent11: if the diffusion occurs the fact that the convoying redemption does not occur and the authorship does not occur is not true. sent12: if the superiorness does not occur or the convoying elegance happens or both then the superiorness does not occur. sent13: if the teasing ruined does not occur then the offering paralegal occurs and the scowling happens. ; $proof$ = 
void -> assump1: Let's assume that the diffusion happens.; sent11 & assump1 -> int1: the fact that the convoying redemption does not occur and the authorship does not occur does not hold.; sent4 & sent10 -> int2: the naught happens and the superior occurs.; int2 -> int3: the naught occurs.; __UNKNOWN__