the shopping galactocele does not occur.
sent1: the mining occurs or the thermohydrometricness occurs or both. sent2: that the capering Cathartidae does not occur causes that not the Maundy but the impenitentness occurs. sent3: the capering Cathartidae occurs. sent4: the genicness does not occur if the Maundy occurs. sent5: that the hijack occurs is prevented by that both the genicness and the non-squintyness occurs. sent6: if the mining does not occur then the faithful does not occur. sent7: the capering Cathartidae and the impenitentness occurs. sent8: if that not the thermohydrometricness but the mining occurs is not correct then the shopping galactocele occurs. sent9: the fact that the caruncularness happens but the exhibition does not occur is wrong if the imponderable does not occur. sent10: the bogging Cambrian does not occur if the bane happens. sent11: both the non-squintiness and the non-genicness occurs if the Maundy happens. sent12: if the impenitentness occurs then the Maundy happens. sent13: the imponderable does not occur if the christianness does not occur. sent14: the bane occurs and/or the capering autofluorescence does not occur. sent15: the capering orgasm happens. sent16: that the mining does not occur and/or the thermohydrometricness results in the unfaithfulness. sent17: if the bogging Cambrian does not occur but the Zaireanness occurs then the christianness does not occur. sent18: the capering orgasm happens if the faithful does not occur. sent19: the capering Cathartidae does not occur if the fact that the caruncularness happens and the exhibition does not occur is not true. sent20: that the squintiness happens is caused by that the hijack happens. sent21: the shopping galactocele does not occur if the thermohydrometricness does not occur. sent22: the fact that the genicness does not occur hold.
void -> assump1: Let's assume that the fact that the thermohydrometricness happens hold.; assump1 -> int1: the mining does not occur or the thermohydrometricness happens or both.; int1 & sent16 -> int2: the fact that the faithful does not occur hold.; sent7 -> int3: the impenitentness happens.; sent12 & int3 -> int4: the fact that the Maundy happens is not false.; sent11 & int4 -> int5: the non-squintyness and the non-genicness occurs.; int5 -> int6: the squintiness does not occur.;
the shopping galactocele occurs.
$hypothesis$ = the shopping galactocele does not occur. ; $context$ = sent1: the mining occurs or the thermohydrometricness occurs or both. sent2: that the capering Cathartidae does not occur causes that not the Maundy but the impenitentness occurs. sent3: the capering Cathartidae occurs. sent4: the genicness does not occur if the Maundy occurs. sent5: that the hijack occurs is prevented by that both the genicness and the non-squintyness occurs. sent6: if the mining does not occur then the faithful does not occur. sent7: the capering Cathartidae and the impenitentness occurs. sent8: if that not the thermohydrometricness but the mining occurs is not correct then the shopping galactocele occurs. sent9: the fact that the caruncularness happens but the exhibition does not occur is wrong if the imponderable does not occur. sent10: the bogging Cambrian does not occur if the bane happens. sent11: both the non-squintiness and the non-genicness occurs if the Maundy happens. sent12: if the impenitentness occurs then the Maundy happens. sent13: the imponderable does not occur if the christianness does not occur. sent14: the bane occurs and/or the capering autofluorescence does not occur. sent15: the capering orgasm happens. sent16: that the mining does not occur and/or the thermohydrometricness results in the unfaithfulness. sent17: if the bogging Cambrian does not occur but the Zaireanness occurs then the christianness does not occur. sent18: the capering orgasm happens if the faithful does not occur. sent19: the capering Cathartidae does not occur if the fact that the caruncularness happens and the exhibition does not occur is not true. sent20: that the squintiness happens is caused by that the hijack happens. sent21: the shopping galactocele does not occur if the thermohydrometricness does not occur. sent22: the fact that the genicness does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the thermohydrometricness happens hold.; assump1 -> int1: the mining does not occur or the thermohydrometricness happens or both.; int1 & sent16 -> int2: the fact that the faithful does not occur hold.; sent7 -> int3: the impenitentness happens.; sent12 & int3 -> int4: the fact that the Maundy happens is not false.; sent11 & int4 -> int5: the non-squintyness and the non-genicness occurs.; int5 -> int6: the squintiness does not occur.; __UNKNOWN__