if the fueling happens then the inboardness does not occur.
sent1: that the overusing articulator does not occur yields that both the fueling and the inboardness occurs. sent2: the diligence occurs. sent3: that the inboardness occurs is triggered by that the fueling happens. sent4: if the overusing sibilant does not occur then the tipping appendicle and the rendition occurs. sent5: that the fueling does not occur is prevented by that the Bolshevikness happens and the inboardness happens. sent6: if the clozeness but not the slug occurs the overusing sibilant does not occur. sent7: the azotemicness happens. sent8: the cared-forness and the combining happens. sent9: the Bolshevik and the terminal occurs if the azotemicness does not occur. sent10: the overusing articulator does not occur if that the tipping Laffer happens is right. sent11: that the tipping Laffer does not occur is prevented by that the non-Alaskanness and the non-Uruguayanness happens. sent12: the Homer does not occur. sent13: if the anaplasty occurs the facilitating occurs. sent14: if the tipping appendicle occurs the non-Alaskanness and the non-Uruguayanness occurs. sent15: the Bolshevikness happens and the azotemicness occurs. sent16: the metarule happens.
void -> assump1: Let's assume that the fueling happens.; sent15 -> int1: the Bolshevikness happens.; void -> assump2: Let's assume that the inboardness happens.; int1 & assump2 -> int2: the Bolshevik and the inboardness occurs.;
the terminal happens.
$hypothesis$ = if the fueling happens then the inboardness does not occur. ; $context$ = sent1: that the overusing articulator does not occur yields that both the fueling and the inboardness occurs. sent2: the diligence occurs. sent3: that the inboardness occurs is triggered by that the fueling happens. sent4: if the overusing sibilant does not occur then the tipping appendicle and the rendition occurs. sent5: that the fueling does not occur is prevented by that the Bolshevikness happens and the inboardness happens. sent6: if the clozeness but not the slug occurs the overusing sibilant does not occur. sent7: the azotemicness happens. sent8: the cared-forness and the combining happens. sent9: the Bolshevik and the terminal occurs if the azotemicness does not occur. sent10: the overusing articulator does not occur if that the tipping Laffer happens is right. sent11: that the tipping Laffer does not occur is prevented by that the non-Alaskanness and the non-Uruguayanness happens. sent12: the Homer does not occur. sent13: if the anaplasty occurs the facilitating occurs. sent14: if the tipping appendicle occurs the non-Alaskanness and the non-Uruguayanness occurs. sent15: the Bolshevikness happens and the azotemicness occurs. sent16: the metarule happens. ; $proof$ = 
void -> assump1: Let's assume that the fueling happens.; sent15 -> int1: the Bolshevikness happens.; void -> assump2: Let's assume that the inboardness happens.; int1 & assump2 -> int2: the Bolshevik and the inboardness occurs.; __UNKNOWN__