the contributing isobar happens if the general occurs.
sent1: either the agraphicness occurs or the contributing inadequacy does not occur or both. sent2: the contributing isobar occurs if the worthiness does not occur. sent3: if the ornamentation happens the droning wank occurs but the contributing isobar does not occur. sent4: the fact that the droning Rypticus happens hold if the generalness happens. sent5: that the extinguishing birdlime does not occur triggers that the droning Arauca does not occur and the bustle does not occur. sent6: if the droning Titus does not occur then the fact that the fact that the indiscriminateness occurs and the oratory occurs hold does not hold. sent7: that both the droning wank and the citation happens is triggered by that the ornamentation does not occur. sent8: that the non-stemmaticness and the agraphicness occurs leads to that the extinguishing birdlime does not occur. sent9: the droning Arauca occurs or the marketplace does not occur or both. sent10: the droning peridot occurs if that the ballgame occurs is not true. sent11: that the contributing historian happens but the general does not occur does not hold if the droning Rypticus does not occur. sent12: the swipe happens. sent13: the stemmaticness does not occur if that the indiscriminateness and the oratory happens is wrong. sent14: the ornamentation is prevented by the droning Arauca or that the marketplace does not occur or both. sent15: if the fact that the contributing historian and the non-generalness happens does not hold the contributing historian does not occur. sent16: that the citation happens is prevented by that the worthy happens and the droning Rypticus occurs. sent17: the insolubleness happens. sent18: the droning Titus does not occur. sent19: if the contributing isobar does not occur that the citation does not occur and the worthy does not occur is false. sent20: the skydiving happens. sent21: the fact that the Yumanness happens is correct. sent22: if the droning Arauca does not occur then the ornamentation occurs and the marketplace happens. sent23: the ally does not occur.
void -> assump2: Let's assume that the generalness happens.; sent4 & assump2 -> int1: the droning Rypticus happens.; void -> assump1: Let's assume that the worthiness happens.; int1 & assump1 -> int2: the worthiness and the droning Rypticus occurs.; int2 & sent16 -> int3: the citation does not occur.; sent14 & sent9 -> int4: the ornamentation does not occur.; sent7 & int4 -> int5: both the droning wank and the citation occurs.; int5 -> int6: the citation occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the worthiness does not occur.; int8 & sent2 -> int9: the contributing isobar happens.; [assump2] & int9 -> hypothesis;
the contributing historian does not occur.
sent6 & sent18 -> int10: that the indiscriminateness happens and the oratory occurs is false.; sent13 & int10 -> int11: the stemmaticness does not occur.;
$hypothesis$ = the contributing isobar happens if the general occurs. ; $context$ = sent1: either the agraphicness occurs or the contributing inadequacy does not occur or both. sent2: the contributing isobar occurs if the worthiness does not occur. sent3: if the ornamentation happens the droning wank occurs but the contributing isobar does not occur. sent4: the fact that the droning Rypticus happens hold if the generalness happens. sent5: that the extinguishing birdlime does not occur triggers that the droning Arauca does not occur and the bustle does not occur. sent6: if the droning Titus does not occur then the fact that the fact that the indiscriminateness occurs and the oratory occurs hold does not hold. sent7: that both the droning wank and the citation happens is triggered by that the ornamentation does not occur. sent8: that the non-stemmaticness and the agraphicness occurs leads to that the extinguishing birdlime does not occur. sent9: the droning Arauca occurs or the marketplace does not occur or both. sent10: the droning peridot occurs if that the ballgame occurs is not true. sent11: that the contributing historian happens but the general does not occur does not hold if the droning Rypticus does not occur. sent12: the swipe happens. sent13: the stemmaticness does not occur if that the indiscriminateness and the oratory happens is wrong. sent14: the ornamentation is prevented by the droning Arauca or that the marketplace does not occur or both. sent15: if the fact that the contributing historian and the non-generalness happens does not hold the contributing historian does not occur. sent16: that the citation happens is prevented by that the worthy happens and the droning Rypticus occurs. sent17: the insolubleness happens. sent18: the droning Titus does not occur. sent19: if the contributing isobar does not occur that the citation does not occur and the worthy does not occur is false. sent20: the skydiving happens. sent21: the fact that the Yumanness happens is correct. sent22: if the droning Arauca does not occur then the ornamentation occurs and the marketplace happens. sent23: the ally does not occur. ; $proof$ = 
void -> assump2: Let's assume that the generalness happens.; sent4 & assump2 -> int1: the droning Rypticus happens.; void -> assump1: Let's assume that the worthiness happens.; int1 & assump1 -> int2: the worthiness and the droning Rypticus occurs.; int2 & sent16 -> int3: the citation does not occur.; sent14 & sent9 -> int4: the ornamentation does not occur.; sent7 & int4 -> int5: both the droning wank and the citation occurs.; int5 -> int6: the citation occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the worthiness does not occur.; int8 & sent2 -> int9: the contributing isobar happens.; [assump2] & int9 -> hypothesis; __PROVED__