the biflagellateness does not occur.
sent1: that the venipuncture occurs results in that the auscultatoriness does not occur. sent2: if the imperiousness does not occur the non-ingloriousness and the chastity occurs. sent3: if the cataplasticness occurs then the resonance occurs. sent4: that the spectacles does not occur causes that the skateboarding occurs and the Holocaust happens. sent5: if the figuration does not occur then the titivation and the rewarding monopoly occurs. sent6: if the fact that the biflagellateness does not occur and the venipuncture does not occur is not right then the Holocaust does not occur. sent7: if the titivation occurs and the rewarding monopoly happens then the film does not occur. sent8: that the non-biflagellateness and the venipuncture occurs is wrong. sent9: if not the resisting but the resonance happens the rummaging clip-on does not occur. sent10: that the rummaging Schlesinger and the tensileness occurs does not hold if the rewarding Verdi does not occur. sent11: if that the rummaging Schlesinger and the tensileness happens is incorrect the spectacles does not occur. sent12: the imperiousness does not occur and the monophonicness does not occur. sent13: if the film does not occur the rewarding Verdi does not occur. sent14: the figuration does not occur if the rummaging clip-on does not occur. sent15: both the Holocaust and the skateboarding occurs. sent16: the cataplasticness or the concerting or both is triggered by the gloriousness. sent17: the Romany does not occur and the resisting does not occur if the auscultatoriness does not occur.
void -> assump1: Let's assume that that the biflagellateness does not occur and the venipuncture does not occur is incorrect.; sent6 & assump1 -> int1: the Holocaust does not occur.; sent15 -> int2: the Holocaust occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the biflagellateness does not occur and the venipuncture does not occur.; int4 -> hypothesis;
the biflagellateness happens.
sent12 -> int5: the fact that the imperiousness does not occur hold.; sent2 & int5 -> int6: not the ingloriousness but the chastity occurs.; int6 -> int7: the ingloriousness does not occur.; sent16 & int7 -> int8: the cataplasticness occurs or the concert occurs or both.;
$hypothesis$ = the biflagellateness does not occur. ; $context$ = sent1: that the venipuncture occurs results in that the auscultatoriness does not occur. sent2: if the imperiousness does not occur the non-ingloriousness and the chastity occurs. sent3: if the cataplasticness occurs then the resonance occurs. sent4: that the spectacles does not occur causes that the skateboarding occurs and the Holocaust happens. sent5: if the figuration does not occur then the titivation and the rewarding monopoly occurs. sent6: if the fact that the biflagellateness does not occur and the venipuncture does not occur is not right then the Holocaust does not occur. sent7: if the titivation occurs and the rewarding monopoly happens then the film does not occur. sent8: that the non-biflagellateness and the venipuncture occurs is wrong. sent9: if not the resisting but the resonance happens the rummaging clip-on does not occur. sent10: that the rummaging Schlesinger and the tensileness occurs does not hold if the rewarding Verdi does not occur. sent11: if that the rummaging Schlesinger and the tensileness happens is incorrect the spectacles does not occur. sent12: the imperiousness does not occur and the monophonicness does not occur. sent13: if the film does not occur the rewarding Verdi does not occur. sent14: the figuration does not occur if the rummaging clip-on does not occur. sent15: both the Holocaust and the skateboarding occurs. sent16: the cataplasticness or the concerting or both is triggered by the gloriousness. sent17: the Romany does not occur and the resisting does not occur if the auscultatoriness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the biflagellateness does not occur and the venipuncture does not occur is incorrect.; sent6 & assump1 -> int1: the Holocaust does not occur.; sent15 -> int2: the Holocaust occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the biflagellateness does not occur and the venipuncture does not occur.; int4 -> hypothesis; __PROVED__