the neotenicness does not occur if the slalom occurs and the vexing Pictor occurs.
sent1: the safety occurs. sent2: if the xerographicness happens the fact that the deniableness does not occur is not false. sent3: that the slaloming happens is true. sent4: the neotenicness occurs if the vexing Pictor occurs. sent5: the tensionalness is brought about by that the fleshiness happens. sent6: the betterment does not occur if the drifting occurs. sent7: the unhappiness occurs. sent8: the neotenicness happens but the vexing Pictor does not occur if the high-interestness does not occur. sent9: the helm happens. sent10: that the immatureness happens is caused by that the guesstimate occurs. sent11: the polemic and the memberlessness occurs. sent12: the questionableness does not occur. sent13: the neotenicness happens. sent14: if the vexing Pictor happens then the neotenicness does not occur. sent15: the fact that that the burial and the slaloming happens is triggered by that the vexing Pictor does not occur hold. sent16: that the neotenicness occurs is brought about by that the slalom happens and the vexing Pictor occurs.
void -> assump1: Let's assume that the slaloming occurs and the vexing Pictor happens.; assump1 -> int1: the vexing Pictor occurs.; int1 & sent14 -> int2: the neotenicness does not occur.; [assump1] & int2 -> hypothesis;
the burial happens.
$hypothesis$ = the neotenicness does not occur if the slalom occurs and the vexing Pictor occurs. ; $context$ = sent1: the safety occurs. sent2: if the xerographicness happens the fact that the deniableness does not occur is not false. sent3: that the slaloming happens is true. sent4: the neotenicness occurs if the vexing Pictor occurs. sent5: the tensionalness is brought about by that the fleshiness happens. sent6: the betterment does not occur if the drifting occurs. sent7: the unhappiness occurs. sent8: the neotenicness happens but the vexing Pictor does not occur if the high-interestness does not occur. sent9: the helm happens. sent10: that the immatureness happens is caused by that the guesstimate occurs. sent11: the polemic and the memberlessness occurs. sent12: the questionableness does not occur. sent13: the neotenicness happens. sent14: if the vexing Pictor happens then the neotenicness does not occur. sent15: the fact that that the burial and the slaloming happens is triggered by that the vexing Pictor does not occur hold. sent16: that the neotenicness occurs is brought about by that the slalom happens and the vexing Pictor occurs. ; $proof$ = 
void -> assump1: Let's assume that the slaloming occurs and the vexing Pictor happens.; assump1 -> int1: the vexing Pictor occurs.; int1 & sent14 -> int2: the neotenicness does not occur.; [assump1] & int2 -> hypothesis; __PROVED__