the fact that the furor happens is right if the fact that the transculturalness happens is not false.
sent1: the postdiluvianness happens. sent2: if the susurration happens the leeward happens. sent3: that the removal but not the mountaineering happens prevents that the bullshiting penlight does not occur. sent4: the furor happens if the Egyptianness happens. sent5: if the transculturalness does not occur and the cover does not occur then the refreshment happens. sent6: the isolation triggers that the anticipating columniation happens. sent7: that the transculturalness occurs is prevented by the fact that that the postdiluvianness and the non-high-interestness occurs is correct. sent8: the tapping happens. sent9: the retardation does not occur. sent10: the squirting happens but the furor does not occur if the reacting does not occur. sent11: the fact that the slinking happens and the starlessness occurs is not right. sent12: the fact that the shank occurs is not incorrect if the fact that that both the morphophonemicness and the non-calcicness occurs does not hold hold. sent13: if that the postdiluvianness does not occur is not incorrect then the covering happens. sent14: the terrestrialness does not occur. sent15: that the mischief does not occur is prevented by that the dimorphism occurs and the paranormalness does not occur. sent16: the Egyptian is prevented by that the squirting happens but the furor does not occur. sent17: if the bumpiness happens then the anisotropicness occurs. sent18: the Egyptianness happens if the cover happens.
void -> assump1: Let's assume that the transculturalness occurs.; void -> assump2: Let's assume that the postdiluvian happens but the high-interestness does not occur.; sent7 & assump2 -> int1: the transculturalness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the postdiluvian happens but the high-interestness does not occur is false.;
the refreshment happens.
$hypothesis$ = the fact that the furor happens is right if the fact that the transculturalness happens is not false. ; $context$ = sent1: the postdiluvianness happens. sent2: if the susurration happens the leeward happens. sent3: that the removal but not the mountaineering happens prevents that the bullshiting penlight does not occur. sent4: the furor happens if the Egyptianness happens. sent5: if the transculturalness does not occur and the cover does not occur then the refreshment happens. sent6: the isolation triggers that the anticipating columniation happens. sent7: that the transculturalness occurs is prevented by the fact that that the postdiluvianness and the non-high-interestness occurs is correct. sent8: the tapping happens. sent9: the retardation does not occur. sent10: the squirting happens but the furor does not occur if the reacting does not occur. sent11: the fact that the slinking happens and the starlessness occurs is not right. sent12: the fact that the shank occurs is not incorrect if the fact that that both the morphophonemicness and the non-calcicness occurs does not hold hold. sent13: if that the postdiluvianness does not occur is not incorrect then the covering happens. sent14: the terrestrialness does not occur. sent15: that the mischief does not occur is prevented by that the dimorphism occurs and the paranormalness does not occur. sent16: the Egyptian is prevented by that the squirting happens but the furor does not occur. sent17: if the bumpiness happens then the anisotropicness occurs. sent18: the Egyptianness happens if the cover happens. ; $proof$ = 
void -> assump1: Let's assume that the transculturalness occurs.; void -> assump2: Let's assume that the postdiluvian happens but the high-interestness does not occur.; sent7 & assump2 -> int1: the transculturalness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the postdiluvian happens but the high-interestness does not occur is false.; __UNKNOWN__