if the noncommercialness happens then the sexiness happens.
sent1: not the sonneting pinger but the spring-cleaning ID occurs. sent2: the photogravure does not occur and the solution happens. sent3: both the sexiness and the generousness happens if the self-discovery does not occur. sent4: the self-discovery does not occur if that not the invasiveness but the noncommercialness occurs hold. sent5: that the noncommercialness does not occur leads to that the popery happens and the invasiveness occurs. sent6: if the generousness does not occur both the commercialness and the self-discovery happens. sent7: the snickersnee but not the arthralgicness occurs if the invasiveness occurs.
void -> assump1: Let's assume that that the invasiveness happens is right.; sent7 & assump1 -> int1: the snickersnee and the non-arthralgicness occurs.;
the popery happens.
$hypothesis$ = if the noncommercialness happens then the sexiness happens. ; $context$ = sent1: not the sonneting pinger but the spring-cleaning ID occurs. sent2: the photogravure does not occur and the solution happens. sent3: both the sexiness and the generousness happens if the self-discovery does not occur. sent4: the self-discovery does not occur if that not the invasiveness but the noncommercialness occurs hold. sent5: that the noncommercialness does not occur leads to that the popery happens and the invasiveness occurs. sent6: if the generousness does not occur both the commercialness and the self-discovery happens. sent7: the snickersnee but not the arthralgicness occurs if the invasiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the invasiveness happens is right.; sent7 & assump1 -> int1: the snickersnee and the non-arthralgicness occurs.; __UNKNOWN__