if the subsequentness occurs the seaquake does not occur.
sent1: both the Californian and the scraping happens. sent2: the refraining sallow happens. sent3: that the refraining Pinter and the egoisticness occurs prevents that the replay happens. sent4: the seaquake does not occur if the self-pollination happens and the subsequentness happens. sent5: the camber occurs and the immortalness happens. sent6: both the ramifying and the photostating cellphone happens. sent7: that the pouching does not occur is not wrong. sent8: the aftereffect and the obedience happens. sent9: the subsequentness results in that the seaquake happens. sent10: the seaquake occurs. sent11: the antemeridianness occurs. sent12: the progestationalness occurs. sent13: the periodicness occurs. sent14: that the self-pollination happens and the subsequentness occurs triggers the seaquake. sent15: the heroics occurs. sent16: the non-diamantineness is triggered by that the refraining sabbatia and the griping happens. sent17: the self-pollination occurs. sent18: the frailness and the handball happens.
void -> assump1: Let's assume that the subsequentness occurs.; sent17 & assump1 -> int1: the self-pollination happens and the subsequentness happens.; sent4 & int1 -> int2: the seaquake does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the subsequentness occurs the seaquake does not occur. ; $context$ = sent1: both the Californian and the scraping happens. sent2: the refraining sallow happens. sent3: that the refraining Pinter and the egoisticness occurs prevents that the replay happens. sent4: the seaquake does not occur if the self-pollination happens and the subsequentness happens. sent5: the camber occurs and the immortalness happens. sent6: both the ramifying and the photostating cellphone happens. sent7: that the pouching does not occur is not wrong. sent8: the aftereffect and the obedience happens. sent9: the subsequentness results in that the seaquake happens. sent10: the seaquake occurs. sent11: the antemeridianness occurs. sent12: the progestationalness occurs. sent13: the periodicness occurs. sent14: that the self-pollination happens and the subsequentness occurs triggers the seaquake. sent15: the heroics occurs. sent16: the non-diamantineness is triggered by that the refraining sabbatia and the griping happens. sent17: the self-pollination occurs. sent18: the frailness and the handball happens. ; $proof$ = 
void -> assump1: Let's assume that the subsequentness occurs.; sent17 & assump1 -> int1: the self-pollination happens and the subsequentness happens.; sent4 & int1 -> int2: the seaquake does not occur.; [assump1] & int2 -> hypothesis; __PROVED__