the shelter does not occur.
sent1: the blooming occurs and the incidentness happens if that the chip does not occur hold. sent2: that the chip does not occur yields that the bloom happens. sent3: the blooming happens if the fact that the commination does not occur and the chip happens does not hold. sent4: the fact that the commination occurs and the monopolizing bowfin occurs is wrong. sent5: the professional occurs if the shelter happens. sent6: the blooming happens. sent7: the fetometry happens if the professionalness occurs. sent8: the strangling happens if that not the commination but the monopolizing bowfin occurs is incorrect. sent9: if that the monopolizing bowfin does not occur is wrong then the fact that the commination does not occur but the chip happens is false. sent10: if the incidentness and the fetometry happens then the strangling does not occur. sent11: the impoliteness and the tribulating Levisticum happens. sent12: the sentimentalization occurs. sent13: the chip does not occur. sent14: if the fact that the tribulating Levisticum does not occur hold both the monopolizing bowfin and the politeness occurs.
void -> assump1: Let's assume that the shelter happens.; sent5 & assump1 -> int1: the professionalness happens.; int1 & sent7 -> int2: the fetometry occurs.; sent1 & sent13 -> int3: both the bloom and the incidentness happens.; int3 -> int4: the incident happens.; int2 & int4 -> int5: the incidentness and the fetometry happens.; int5 & sent10 -> int6: the strangling does not occur.; sent11 -> int7: the politeness does not occur.;
the shelter happens.
$hypothesis$ = the shelter does not occur. ; $context$ = sent1: the blooming occurs and the incidentness happens if that the chip does not occur hold. sent2: that the chip does not occur yields that the bloom happens. sent3: the blooming happens if the fact that the commination does not occur and the chip happens does not hold. sent4: the fact that the commination occurs and the monopolizing bowfin occurs is wrong. sent5: the professional occurs if the shelter happens. sent6: the blooming happens. sent7: the fetometry happens if the professionalness occurs. sent8: the strangling happens if that not the commination but the monopolizing bowfin occurs is incorrect. sent9: if that the monopolizing bowfin does not occur is wrong then the fact that the commination does not occur but the chip happens is false. sent10: if the incidentness and the fetometry happens then the strangling does not occur. sent11: the impoliteness and the tribulating Levisticum happens. sent12: the sentimentalization occurs. sent13: the chip does not occur. sent14: if the fact that the tribulating Levisticum does not occur hold both the monopolizing bowfin and the politeness occurs. ; $proof$ = 
void -> assump1: Let's assume that the shelter happens.; sent5 & assump1 -> int1: the professionalness happens.; int1 & sent7 -> int2: the fetometry occurs.; sent1 & sent13 -> int3: both the bloom and the incidentness happens.; int3 -> int4: the incident happens.; int2 & int4 -> int5: the incidentness and the fetometry happens.; int5 & sent10 -> int6: the strangling does not occur.; sent11 -> int7: the politeness does not occur.; __UNKNOWN__