the spraying occurs.
sent1: that the slagging portwatcher does not occur yields that the spraying happens and the booking occurs. sent2: if the sympatricness happens that the cumulus does not occur and the downstreamness happens is not correct. sent3: the rewarding pallone does not occur. sent4: if the rewarding pallone occurs the booking does not occur. sent5: that the Keynesianness does not occur is brought about by the spraying. sent6: the non-subtropicalness and/or that the whiz occurs brings about that the assassination does not occur. sent7: if that the sympatricness does not occur and the cumulus does not occur is incorrect then the downstreamness does not occur. sent8: if the fact that the rummaging cocksucker does not occur or the rewarding pallone happens or both does not hold the spraying does not occur. sent9: that the rummaging cocksucker does not occur or the rewarding pallone occurs or both yields that the booking does not occur. sent10: if the fact that the slagging portwatcher does not occur is right then that the booking and the spraying occurs is not wrong. sent11: if the downstreamness does not occur then the fact that both the slagging portwatcher and the epiphany happens is wrong. sent12: the settle happens. sent13: the downstreamness does not occur if that not the cumulus but the downstreamness happens is false. sent14: the booking happens and the slagging portwatcher happens. sent15: the slagging portwatcher occurs. sent16: the slagging portwatcher does not occur if that the slagging portwatcher and the epiphany occurs is incorrect.
void -> assump1: Let's assume that the rummaging cocksucker does not occur and/or the rewarding pallone happens.; sent9 & assump1 -> int1: the booking does not occur.; sent14 -> int2: the booking occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rummaging cocksucker does not occur and/or the rewarding pallone occurs is not true.; int4 & sent8 -> hypothesis;
the fact that the spraying happens is not wrong.
$hypothesis$ = the spraying occurs. ; $context$ = sent1: that the slagging portwatcher does not occur yields that the spraying happens and the booking occurs. sent2: if the sympatricness happens that the cumulus does not occur and the downstreamness happens is not correct. sent3: the rewarding pallone does not occur. sent4: if the rewarding pallone occurs the booking does not occur. sent5: that the Keynesianness does not occur is brought about by the spraying. sent6: the non-subtropicalness and/or that the whiz occurs brings about that the assassination does not occur. sent7: if that the sympatricness does not occur and the cumulus does not occur is incorrect then the downstreamness does not occur. sent8: if the fact that the rummaging cocksucker does not occur or the rewarding pallone happens or both does not hold the spraying does not occur. sent9: that the rummaging cocksucker does not occur or the rewarding pallone occurs or both yields that the booking does not occur. sent10: if the fact that the slagging portwatcher does not occur is right then that the booking and the spraying occurs is not wrong. sent11: if the downstreamness does not occur then the fact that both the slagging portwatcher and the epiphany happens is wrong. sent12: the settle happens. sent13: the downstreamness does not occur if that not the cumulus but the downstreamness happens is false. sent14: the booking happens and the slagging portwatcher happens. sent15: the slagging portwatcher occurs. sent16: the slagging portwatcher does not occur if that the slagging portwatcher and the epiphany occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the rummaging cocksucker does not occur and/or the rewarding pallone happens.; sent9 & assump1 -> int1: the booking does not occur.; sent14 -> int2: the booking occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rummaging cocksucker does not occur and/or the rewarding pallone occurs is not true.; int4 & sent8 -> hypothesis; __DISPROVED__