the befalling does not occur.
sent1: if the transshipping stibnite happens then that the conscripting Lactarius occurs is not wrong. sent2: if the grinding numbness does not occur and/or the palatalness occurs then the fact that the transshipping aristocrat does not occur is not wrong. sent3: the palatalness and the esophagealness occurs. sent4: the hummer does not occur if the macroeconomicness does not occur. sent5: if that the allocation does not occur hold then the habituation does not occur. sent6: the conscripting electrotherapist does not occur. sent7: that the conscripting Lactarius does not occur is prevented by that the downhill happens. sent8: the befalling is prevented by that the conscripting greenroom and the conscripting Lactarius occurs. sent9: the conscripting greenroom occurs if the neurectomy does not occur. sent10: the conditionalness does not occur if the officialness does not occur. sent11: that the conscripting greenroom does not occur is prevented by that the transshipping aristocrat does not occur and/or that the neurectomy does not occur. sent12: either the conscripting rusticity does not occur or the aurifying occurs or both if the palatalness does not occur. sent13: that the hummer does not occur causes that the downhill happens and/or the transshipping stibnite happens.
sent3 -> int1: the palatalness occurs.; int1 -> int2: either the grinding numbness does not occur or the palatalness occurs or both.; int2 & sent2 -> int3: the transshipping aristocrat does not occur.; int3 -> int4: either the transshipping aristocrat does not occur or the neurectomy does not occur or both.; int4 & sent11 -> int5: the conscripting greenroom occurs.;
the conscripting rusticity does not occur or the aurifying happens or both.
$hypothesis$ = the befalling does not occur. ; $context$ = sent1: if the transshipping stibnite happens then that the conscripting Lactarius occurs is not wrong. sent2: if the grinding numbness does not occur and/or the palatalness occurs then the fact that the transshipping aristocrat does not occur is not wrong. sent3: the palatalness and the esophagealness occurs. sent4: the hummer does not occur if the macroeconomicness does not occur. sent5: if that the allocation does not occur hold then the habituation does not occur. sent6: the conscripting electrotherapist does not occur. sent7: that the conscripting Lactarius does not occur is prevented by that the downhill happens. sent8: the befalling is prevented by that the conscripting greenroom and the conscripting Lactarius occurs. sent9: the conscripting greenroom occurs if the neurectomy does not occur. sent10: the conditionalness does not occur if the officialness does not occur. sent11: that the conscripting greenroom does not occur is prevented by that the transshipping aristocrat does not occur and/or that the neurectomy does not occur. sent12: either the conscripting rusticity does not occur or the aurifying occurs or both if the palatalness does not occur. sent13: that the hummer does not occur causes that the downhill happens and/or the transshipping stibnite happens. ; $proof$ = 
sent3 -> int1: the palatalness occurs.; int1 -> int2: either the grinding numbness does not occur or the palatalness occurs or both.; int2 & sent2 -> int3: the transshipping aristocrat does not occur.; int3 -> int4: either the transshipping aristocrat does not occur or the neurectomy does not occur or both.; int4 & sent11 -> int5: the conscripting greenroom occurs.; __UNKNOWN__