the pyloricness but not the Anglican occurs.
sent1: the granulocyticness happens. sent2: if the droning option does not occur the autogenousness and the pyloricness occurs. sent3: the fact that the pyloricness and the non-Anglicanness occurs is false if the premiership occurs. sent4: the autogenousness occurs. sent5: the fact that the premiership does not occur or the droning wank happens or both is correct. sent6: the hematopoieticness does not occur if the fact that the premiership happens and the compounding occurs does not hold. sent7: the premiership does not occur if the accordantness does not occur. sent8: if the droning wank does not occur then the premiership and the compound happens. sent9: the Anglican does not occur if the premiership does not occur or the droning wank does not occur or both. sent10: either that the glugging does not occur or the metallicness or both yields that the striving does not occur. sent11: the disintegrating does not occur. sent12: the scrum occurs and/or the orchiopexy does not occur. sent13: the sumo happens or the snafuing does not occur or both. sent14: if the fact that both the mural and the non-accordantness happens does not hold the compoundness occurs. sent15: the glugging occurs. sent16: that the sumo occurs and/or the snafuing does not occur yields that the compounding does not occur. sent17: that the interrogative but not the unfreeness happens is wrong. sent18: if the candlepins does not occur or the boot does not occur or both the ethnographicness does not occur. sent19: the droning option does not occur and the throb does not occur. sent20: the sumo happens and/or the snafu happens.
void -> assump1: Let's assume that the fact that the muralness occurs and the accordantness does not occur is not true.; sent14 & assump1 -> int1: the compounding occurs.; sent16 & sent13 -> int2: the compounding does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: both the mural and the non-accordantness happens.; int4 -> int5: the accordantness does not occur.; int5 & sent7 -> int6: the premiership does not occur.; int6 -> int7: the premiership does not occur and/or the droning wank does not occur.; int7 & sent9 -> int8: the fact that the Anglican does not occur is not false.; sent19 -> int9: the droning option does not occur.; sent2 & int9 -> int10: the autogenousness occurs and the pyloricness happens.; int10 -> int11: the pyloricness happens.; int8 & int11 -> hypothesis;
the fact that both the pyloricness and the non-Anglicanness happens is false.
$hypothesis$ = the pyloricness but not the Anglican occurs. ; $context$ = sent1: the granulocyticness happens. sent2: if the droning option does not occur the autogenousness and the pyloricness occurs. sent3: the fact that the pyloricness and the non-Anglicanness occurs is false if the premiership occurs. sent4: the autogenousness occurs. sent5: the fact that the premiership does not occur or the droning wank happens or both is correct. sent6: the hematopoieticness does not occur if the fact that the premiership happens and the compounding occurs does not hold. sent7: the premiership does not occur if the accordantness does not occur. sent8: if the droning wank does not occur then the premiership and the compound happens. sent9: the Anglican does not occur if the premiership does not occur or the droning wank does not occur or both. sent10: either that the glugging does not occur or the metallicness or both yields that the striving does not occur. sent11: the disintegrating does not occur. sent12: the scrum occurs and/or the orchiopexy does not occur. sent13: the sumo happens or the snafuing does not occur or both. sent14: if the fact that both the mural and the non-accordantness happens does not hold the compoundness occurs. sent15: the glugging occurs. sent16: that the sumo occurs and/or the snafuing does not occur yields that the compounding does not occur. sent17: that the interrogative but not the unfreeness happens is wrong. sent18: if the candlepins does not occur or the boot does not occur or both the ethnographicness does not occur. sent19: the droning option does not occur and the throb does not occur. sent20: the sumo happens and/or the snafu happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the muralness occurs and the accordantness does not occur is not true.; sent14 & assump1 -> int1: the compounding occurs.; sent16 & sent13 -> int2: the compounding does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: both the mural and the non-accordantness happens.; int4 -> int5: the accordantness does not occur.; int5 & sent7 -> int6: the premiership does not occur.; int6 -> int7: the premiership does not occur and/or the droning wank does not occur.; int7 & sent9 -> int8: the fact that the Anglican does not occur is not false.; sent19 -> int9: the droning option does not occur.; sent2 & int9 -> int10: the autogenousness occurs and the pyloricness happens.; int10 -> int11: the pyloricness happens.; int8 & int11 -> hypothesis; __PROVED__