the irradiating transfusion does not occur.
sent1: if both the irradiating Uhland and the notification happens then the fictionalness does not occur. sent2: that the difficultness happens but the umbelliformness does not occur prevents that the irradiating Uhland does not occur. sent3: the overpressure does not occur if the fact that the etiolation does not occur and the galvanism occurs is not right. sent4: either that the irradiating Uhland happens or the non-difficultness or both is triggered by that the notification does not occur. sent5: that the neuroglialness does not occur is brought about by that the diffusing or the neuroglialnessness or both occurs. sent6: the combining occurs and the cavilling does not occur. sent7: that the fictionalness happens and the irradiating transfusion occurs is brought about by that the aging Paddy does not occur. sent8: the Wittgensteinianness happens. sent9: that the overpressure does not occur and the aging Paddy does not occur is brought about by that the galvanism does not occur. sent10: if the umbelliformness occurs the transgression happens. sent11: if the neuroglialness does not occur then the fact that not the routine but the aging dating happens does not hold. sent12: the irradiating ohmage occurs. sent13: the notification does not occur and the fictionalness does not occur if the aging Paddy does not occur. sent14: both the difficultness and the non-umbelliformness occurs if the transgression does not occur. sent15: the upmarketness happens and the dynamicsness does not occur. sent16: the fact that the etiolation does not occur but the galvanism occurs is not correct. sent17: the transgression does not occur if that the neuroglialness happens and the diffusedness does not occur does not hold. sent18: that the fictionalness does not occur results in that the irradiating transfusion does not occur. sent19: that the etiolation but not the travelogue occurs triggers that the galvanism does not occur. sent20: the lexicalizing boatbuilder happens. sent21: the fact that the notification does not occur and the irradiating Uhland does not occur is not true if the fictionalness occurs. sent22: the quarantining happens. sent23: the libation does not occur. sent24: that the non-diffusedness and the non-neuroglialness happens yields that the irradiating transfusion occurs. sent25: the etiolation but not the travelogue happens if the irradiating limewater occurs. sent26: the diffusedness happens. sent27: both the aging Paddy and the notification happens if the overpressure does not occur.
void -> assump1: Let's assume that both the neuroglialness and the non-diffusedness occurs.; assump1 -> int1: the diffusing does not occur.; int1 & sent26 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the neuroglialness and the non-diffusedness occurs does not hold.; int3 & sent17 -> int4: the fact that the transgression does not occur is not wrong.; int4 & sent14 -> int5: the difficultness but not the umbelliformness occurs.; int5 & sent2 -> int6: the fact that the irradiating Uhland happens is true.; sent3 & sent16 -> int7: that the overpressure does not occur is correct.; sent27 & int7 -> int8: the fact that the aging Paddy happens and the notification happens hold.; int8 -> int9: the notification happens.; int6 & int9 -> int10: the irradiating Uhland and the notification occurs.; int10 & sent1 -> int11: the fictionalness does not occur.; int11 & sent18 -> hypothesis;
the irradiating transfusion happens.
$hypothesis$ = the irradiating transfusion does not occur. ; $context$ = sent1: if both the irradiating Uhland and the notification happens then the fictionalness does not occur. sent2: that the difficultness happens but the umbelliformness does not occur prevents that the irradiating Uhland does not occur. sent3: the overpressure does not occur if the fact that the etiolation does not occur and the galvanism occurs is not right. sent4: either that the irradiating Uhland happens or the non-difficultness or both is triggered by that the notification does not occur. sent5: that the neuroglialness does not occur is brought about by that the diffusing or the neuroglialnessness or both occurs. sent6: the combining occurs and the cavilling does not occur. sent7: that the fictionalness happens and the irradiating transfusion occurs is brought about by that the aging Paddy does not occur. sent8: the Wittgensteinianness happens. sent9: that the overpressure does not occur and the aging Paddy does not occur is brought about by that the galvanism does not occur. sent10: if the umbelliformness occurs the transgression happens. sent11: if the neuroglialness does not occur then the fact that not the routine but the aging dating happens does not hold. sent12: the irradiating ohmage occurs. sent13: the notification does not occur and the fictionalness does not occur if the aging Paddy does not occur. sent14: both the difficultness and the non-umbelliformness occurs if the transgression does not occur. sent15: the upmarketness happens and the dynamicsness does not occur. sent16: the fact that the etiolation does not occur but the galvanism occurs is not correct. sent17: the transgression does not occur if that the neuroglialness happens and the diffusedness does not occur does not hold. sent18: that the fictionalness does not occur results in that the irradiating transfusion does not occur. sent19: that the etiolation but not the travelogue occurs triggers that the galvanism does not occur. sent20: the lexicalizing boatbuilder happens. sent21: the fact that the notification does not occur and the irradiating Uhland does not occur is not true if the fictionalness occurs. sent22: the quarantining happens. sent23: the libation does not occur. sent24: that the non-diffusedness and the non-neuroglialness happens yields that the irradiating transfusion occurs. sent25: the etiolation but not the travelogue happens if the irradiating limewater occurs. sent26: the diffusedness happens. sent27: both the aging Paddy and the notification happens if the overpressure does not occur. ; $proof$ = 
void -> assump1: Let's assume that both the neuroglialness and the non-diffusedness occurs.; assump1 -> int1: the diffusing does not occur.; int1 & sent26 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the neuroglialness and the non-diffusedness occurs does not hold.; int3 & sent17 -> int4: the fact that the transgression does not occur is not wrong.; int4 & sent14 -> int5: the difficultness but not the umbelliformness occurs.; int5 & sent2 -> int6: the fact that the irradiating Uhland happens is true.; sent3 & sent16 -> int7: that the overpressure does not occur is correct.; sent27 & int7 -> int8: the fact that the aging Paddy happens and the notification happens hold.; int8 -> int9: the notification happens.; int6 & int9 -> int10: the irradiating Uhland and the notification occurs.; int10 & sent1 -> int11: the fictionalness does not occur.; int11 & sent18 -> hypothesis; __PROVED__