that the auspicating does not occur brings about that the araneidalness happens and the worrying does not occur.
sent1: the fact that the altitudinalness occurs is not false if that the chromosomalness does not occur and/or the raking structured does not occur does not hold. sent2: the auspicating occurs if the Easter does not occur. sent3: the biggerness does not occur if the fact that the Easter but not the auspicating happens does not hold. sent4: if the fact that the scatology does not occur hold then the worrying does not occur. sent5: the Easter happens if the fact that the fact that the auspicating does not occur and/or the worry does not occur is not wrong is not right. sent6: either that the scatology happens or that the biggerness happens or both prevents that the Easter occurs. sent7: the anodicness does not occur if not the wink but the bifurcating occurs. sent8: if the starlight occurs then the basinalness but not the blocking pen-and-ink occurs. sent9: that the araneidalness happens and the worry does not occur is brought about by the auspicating. sent10: the altitudinalness does not occur. sent11: the googly occurs if the altitudinalness does not occur. sent12: if the altitudinalness happens the araneidalness does not occur and the googly does not occur. sent13: the thirstiness occurs and the trouble does not occur if the anodicness does not occur. sent14: that the chromosomalness does not occur or the raking structured does not occur or both does not hold if the trouble does not occur. sent15: the araneidalness happens and the googly occurs if the altitudinalness does not occur. sent16: the Easter brings about that either the biggerness happens or the scatology does not occur or both. sent17: that the wink does not occur but the bifurcating happens is triggered by that the brisking does not occur.
void -> assump1: Let's assume that the scatology occurs.; assump1 -> int1: the scatology occurs or the biggerness happens or both.; int1 & sent6 -> int2: that the Easter does not occur hold.; int2 & sent2 -> int3: the auspicating occurs.; void -> assump2: Let's assume that the auspicating does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the scatology does not occur is not false.; int5 & sent4 -> int6: the worry does not occur.; sent15 & sent10 -> int7: the araneidalness happens and the googly occurs.; int7 -> int8: the araneidalness happens.; int6 & int8 -> int9: the araneidalness but not the worry happens.; [assump2] & int9 -> hypothesis;
the blocking sewellel does not occur.
$hypothesis$ = that the auspicating does not occur brings about that the araneidalness happens and the worrying does not occur. ; $context$ = sent1: the fact that the altitudinalness occurs is not false if that the chromosomalness does not occur and/or the raking structured does not occur does not hold. sent2: the auspicating occurs if the Easter does not occur. sent3: the biggerness does not occur if the fact that the Easter but not the auspicating happens does not hold. sent4: if the fact that the scatology does not occur hold then the worrying does not occur. sent5: the Easter happens if the fact that the fact that the auspicating does not occur and/or the worry does not occur is not wrong is not right. sent6: either that the scatology happens or that the biggerness happens or both prevents that the Easter occurs. sent7: the anodicness does not occur if not the wink but the bifurcating occurs. sent8: if the starlight occurs then the basinalness but not the blocking pen-and-ink occurs. sent9: that the araneidalness happens and the worry does not occur is brought about by the auspicating. sent10: the altitudinalness does not occur. sent11: the googly occurs if the altitudinalness does not occur. sent12: if the altitudinalness happens the araneidalness does not occur and the googly does not occur. sent13: the thirstiness occurs and the trouble does not occur if the anodicness does not occur. sent14: that the chromosomalness does not occur or the raking structured does not occur or both does not hold if the trouble does not occur. sent15: the araneidalness happens and the googly occurs if the altitudinalness does not occur. sent16: the Easter brings about that either the biggerness happens or the scatology does not occur or both. sent17: that the wink does not occur but the bifurcating happens is triggered by that the brisking does not occur. ; $proof$ = 
void -> assump1: Let's assume that the scatology occurs.; assump1 -> int1: the scatology occurs or the biggerness happens or both.; int1 & sent6 -> int2: that the Easter does not occur hold.; int2 & sent2 -> int3: the auspicating occurs.; void -> assump2: Let's assume that the auspicating does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the scatology does not occur is not false.; int5 & sent4 -> int6: the worry does not occur.; sent15 & sent10 -> int7: the araneidalness happens and the googly occurs.; int7 -> int8: the araneidalness happens.; int6 & int8 -> int9: the araneidalness but not the worry happens.; [assump2] & int9 -> hypothesis; __PROVED__