the necrosing does not occur.
sent1: the sibilating does not occur if the channelization happens. sent2: if the fact that the sibilating does not occur but the venturing happens is not correct the channelization does not occur. sent3: that the channelization does not occur prevents the non-Dostoevskianness. sent4: the Leviticalness happens. sent5: the necrosing occurs if the fact that the transcription happens hold. sent6: the sibilating happens. sent7: the offering happens. sent8: the Britannicness occurs. sent9: if the fact that either the channelization or the venture or both occurs is true then the sibilating does not occur. sent10: if the flare does not occur the necrosing does not occur. sent11: the tweedling Pushan occurs. sent12: if the channelization happens the necrosing occurs. sent13: if the digression happens and the Britannicness occurs then the flaring does not occur. sent14: if the recombining harrier happens the monochromaticness does not occur. sent15: the fact that that the colorimetry does not occur but the recombining dudgeon occurs hold prevents the non-Dostoevskianness. sent16: the fact that the sibilating does not occur and the venturing happens is not right if the tweedling autonomy does not occur. sent17: the tweedling autonomy occurs. sent18: if the venture does not occur and the tweedling autonomy occurs the digression happens.
void -> assump1: Let's assume that the venture occurs.; assump1 -> int1: the channelization occurs or the venturing happens or both.; int1 & sent9 -> int2: the sibilating does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venturing does not occur.; int4 & sent17 -> int5: the fact that not the venture but the tweedling autonomy happens hold.; int5 & sent18 -> int6: the digression happens.; int6 & sent8 -> int7: the digression and the Britannicness occurs.; int7 & sent13 -> int8: the flare does not occur.; int8 & sent10 -> hypothesis;
the necrosing occurs.
$hypothesis$ = the necrosing does not occur. ; $context$ = sent1: the sibilating does not occur if the channelization happens. sent2: if the fact that the sibilating does not occur but the venturing happens is not correct the channelization does not occur. sent3: that the channelization does not occur prevents the non-Dostoevskianness. sent4: the Leviticalness happens. sent5: the necrosing occurs if the fact that the transcription happens hold. sent6: the sibilating happens. sent7: the offering happens. sent8: the Britannicness occurs. sent9: if the fact that either the channelization or the venture or both occurs is true then the sibilating does not occur. sent10: if the flare does not occur the necrosing does not occur. sent11: the tweedling Pushan occurs. sent12: if the channelization happens the necrosing occurs. sent13: if the digression happens and the Britannicness occurs then the flaring does not occur. sent14: if the recombining harrier happens the monochromaticness does not occur. sent15: the fact that that the colorimetry does not occur but the recombining dudgeon occurs hold prevents the non-Dostoevskianness. sent16: the fact that the sibilating does not occur and the venturing happens is not right if the tweedling autonomy does not occur. sent17: the tweedling autonomy occurs. sent18: if the venture does not occur and the tweedling autonomy occurs the digression happens. ; $proof$ = 
void -> assump1: Let's assume that the venture occurs.; assump1 -> int1: the channelization occurs or the venturing happens or both.; int1 & sent9 -> int2: the sibilating does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venturing does not occur.; int4 & sent17 -> int5: the fact that not the venture but the tweedling autonomy happens hold.; int5 & sent18 -> int6: the digression happens.; int6 & sent8 -> int7: the digression and the Britannicness occurs.; int7 & sent13 -> int8: the flare does not occur.; int8 & sent10 -> hypothesis; __PROVED__