the fact that the patronaging nephropathy but not the gregariousness happens does not hold if the patronaging lamppost happens.
sent1: if the patronaging nephropathy and the non-gregariousness occurs the mercifulness does not occur. sent2: that the multiplying scraping happens is caused by that the mercifulness does not occur. sent3: if the patronaging Afghanistan happens then the patronaging lamppost does not occur.
void -> assump2: Let's assume that the patronaging lamppost happens.; void -> assump1: Let's assume that both the patronaging nephropathy and the ungregariousness occurs.; sent1 & assump1 -> int1: the mercifulness does not occur.; sent2 & int1 -> int2: the multiplying scraping happens.;
$hypothesis$ = the fact that the patronaging nephropathy but not the gregariousness happens does not hold if the patronaging lamppost happens. ; $context$ = sent1: if the patronaging nephropathy and the non-gregariousness occurs the mercifulness does not occur. sent2: that the multiplying scraping happens is caused by that the mercifulness does not occur. sent3: if the patronaging Afghanistan happens then the patronaging lamppost does not occur. ; $proof$ = 
void -> assump2: Let's assume that the patronaging lamppost happens.; void -> assump1: Let's assume that both the patronaging nephropathy and the ungregariousness occurs.; sent1 & assump1 -> int1: the mercifulness does not occur.; sent2 & int1 -> int2: the multiplying scraping happens.; __UNKNOWN__