the end or the nonarborealness or both happens.
sent1: the experimentalness occurs. sent2: the end occurs if the fact that the non-tortiousness and the firing happens is not correct. sent3: that the experimentalness happens is prevented by that the dictating Citlaltepetl and the seeping Mansfield happens. sent4: if the seeping Mansfield does not occur both the scalableness and the dictating Citlaltepetl happens. sent5: that the dictating Citlaltepetl does not occur results in the nebule. sent6: if the fire does not occur then that both the nebule and the tortiousness happens does not hold. sent7: the fact that the non-tortiousness and the fire happens does not hold if the nebule occurs. sent8: the seeping Mansfield occurs.
void -> assump1: Let's assume that the dictating Citlaltepetl occurs.; assump1 & sent8 -> int1: the dictating Citlaltepetl and the seeping Mansfield happens.; int1 & sent3 -> int2: the experimentalness does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dictating Citlaltepetl does not occur.; int4 & sent5 -> int5: the nebule occurs.; int5 & sent7 -> int6: the fact that the non-tortiousness and the firing occurs is not right.; int6 & sent2 -> int7: the end occurs.; int7 -> hypothesis;
the scalableness happens.
$hypothesis$ = the end or the nonarborealness or both happens. ; $context$ = sent1: the experimentalness occurs. sent2: the end occurs if the fact that the non-tortiousness and the firing happens is not correct. sent3: that the experimentalness happens is prevented by that the dictating Citlaltepetl and the seeping Mansfield happens. sent4: if the seeping Mansfield does not occur both the scalableness and the dictating Citlaltepetl happens. sent5: that the dictating Citlaltepetl does not occur results in the nebule. sent6: if the fire does not occur then that both the nebule and the tortiousness happens does not hold. sent7: the fact that the non-tortiousness and the fire happens does not hold if the nebule occurs. sent8: the seeping Mansfield occurs. ; $proof$ = 
void -> assump1: Let's assume that the dictating Citlaltepetl occurs.; assump1 & sent8 -> int1: the dictating Citlaltepetl and the seeping Mansfield happens.; int1 & sent3 -> int2: the experimentalness does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dictating Citlaltepetl does not occur.; int4 & sent5 -> int5: the nebule occurs.; int5 & sent7 -> int6: the fact that the non-tortiousness and the firing occurs is not right.; int6 & sent2 -> int7: the end occurs.; int7 -> hypothesis; __PROVED__