that the confection occurs is prevented by that the rectorship does not occur.
sent1: the ascent occurs if the tobogganing occurs. sent2: the vasodilation does not occur if the proteinaceousness happens. sent3: the miracle does not occur if the encrusting Spizella occurs and the rectorship does not occur. sent4: that the anagraming occurs brings about that the factoring but not the capitulating happens. sent5: if the gratifying does not occur then either the gluttonizing or the Jacobean or both happens. sent6: that the multipleness and the harrying featherfoil occurs is triggered by that the bombardment does not occur. sent7: the underhandness happens. sent8: that the activity does not occur brings about that not the ascent but the confection occurs. sent9: if the factoring occurs the scapular does not occur. sent10: if the activity happens then the fact that the ascent happens is not incorrect. sent11: the activity occurs and/or the tobogganing occurs. sent12: if the enema occurs the bombardment does not occur. sent13: if the rectorship does not occur then the encrusting Spizella does not occur. sent14: not the activity but the tobogganing happens if the multipleness happens. sent15: the gratifying does not occur. sent16: the non-scapularness prevents that the enema does not occur.
void -> assump1: Let's assume that the rectorship does not occur.; sent13 & assump1 -> int1: the encrusting Spizella does not occur.; sent11 & sent10 & sent1 -> int2: the ascent occurs.; int1 & int2 -> int3: the encrusting Spizella does not occur but the ascent occurs.;
the miracle does not occur.
sent5 & sent15 -> int4: either the gluttonizing happens or the Jacobeanness happens or both.;
$hypothesis$ = that the confection occurs is prevented by that the rectorship does not occur. ; $context$ = sent1: the ascent occurs if the tobogganing occurs. sent2: the vasodilation does not occur if the proteinaceousness happens. sent3: the miracle does not occur if the encrusting Spizella occurs and the rectorship does not occur. sent4: that the anagraming occurs brings about that the factoring but not the capitulating happens. sent5: if the gratifying does not occur then either the gluttonizing or the Jacobean or both happens. sent6: that the multipleness and the harrying featherfoil occurs is triggered by that the bombardment does not occur. sent7: the underhandness happens. sent8: that the activity does not occur brings about that not the ascent but the confection occurs. sent9: if the factoring occurs the scapular does not occur. sent10: if the activity happens then the fact that the ascent happens is not incorrect. sent11: the activity occurs and/or the tobogganing occurs. sent12: if the enema occurs the bombardment does not occur. sent13: if the rectorship does not occur then the encrusting Spizella does not occur. sent14: not the activity but the tobogganing happens if the multipleness happens. sent15: the gratifying does not occur. sent16: the non-scapularness prevents that the enema does not occur. ; $proof$ = 
void -> assump1: Let's assume that the rectorship does not occur.; sent13 & assump1 -> int1: the encrusting Spizella does not occur.; sent11 & sent10 & sent1 -> int2: the ascent occurs.; int1 & int2 -> int3: the encrusting Spizella does not occur but the ascent occurs.; __UNKNOWN__