the fact that the fact that the greeting spiracle but not the greeting Zeitgeist happens is false is true.
sent1: if the radiophotography does not occur the Namibian and the listing genoise occurs. sent2: the refrigeration happens if the chipping does not occur. sent3: if the summoning does not occur that the unpaidness does not occur hold. sent4: that the hydrousness occurs causes that the Namibian but not the radiophotography occurs. sent5: if that the exculpatoriness but not the greeting sublimate occurs hold the chipping does not occur. sent6: the hydrousness is triggered by that the listing genoise occurs. sent7: the radiophotography does not occur if that the unequalness happens and/or the refreshing disposal happens is incorrect. sent8: that the variation and the paralytic occurs is brought about by that the unpaidness does not occur. sent9: if the expanding does not occur but the disenfranchisement occurs the greeting sublimate does not occur. sent10: if the trampling does not occur the exculpatoriness happens and the existentness happens. sent11: the summoning does not occur and the administrativeness does not occur if the refrigeration occurs. sent12: that the unequalness happens and/or the refreshing disposal occurs is not true if that the division does not occur is not incorrect. sent13: that not the navigationalness but the refreshing Secession occurs prevents the division. sent14: the listing genoise occurs if that the greeting spiracle but not the greeting Zeitgeist occurs does not hold. sent15: the greeting spiracle occurs. sent16: that the unequalness occurs is not wrong. sent17: the Namibianness happens. sent18: the equalness is caused by that the Namibian happens and the radiophotography does not occur. sent19: if the paralyticness occurs then not the navigationalness but the refreshing Secession occurs. sent20: the fact that the Namibian happens is not incorrect if the hydrousness happens. sent21: the trampling does not occur. sent22: the fact that the listing genoise happens is right if the greeting spiracle does not occur.
void -> assump1: Let's assume that the fact that the fact that the greeting spiracle occurs but the greeting Zeitgeist does not occur hold does not hold.; sent14 & assump1 -> int1: the listing genoise occurs.; int1 & sent6 -> int2: the hydrousness happens.; int2 & sent4 -> int3: the Namibian occurs and the radiophotography does not occur.; int3 & sent18 -> int4: the unequalness does not occur.; int4 & sent16 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the fact that the greeting spiracle but not the greeting Zeitgeist happens is wrong.
sent10 & sent21 -> int6: the exculpatoriness and the existentness occurs.; int6 -> int7: the exculpatoriness occurs.;
$hypothesis$ = the fact that the fact that the greeting spiracle but not the greeting Zeitgeist happens is false is true. ; $context$ = sent1: if the radiophotography does not occur the Namibian and the listing genoise occurs. sent2: the refrigeration happens if the chipping does not occur. sent3: if the summoning does not occur that the unpaidness does not occur hold. sent4: that the hydrousness occurs causes that the Namibian but not the radiophotography occurs. sent5: if that the exculpatoriness but not the greeting sublimate occurs hold the chipping does not occur. sent6: the hydrousness is triggered by that the listing genoise occurs. sent7: the radiophotography does not occur if that the unequalness happens and/or the refreshing disposal happens is incorrect. sent8: that the variation and the paralytic occurs is brought about by that the unpaidness does not occur. sent9: if the expanding does not occur but the disenfranchisement occurs the greeting sublimate does not occur. sent10: if the trampling does not occur the exculpatoriness happens and the existentness happens. sent11: the summoning does not occur and the administrativeness does not occur if the refrigeration occurs. sent12: that the unequalness happens and/or the refreshing disposal occurs is not true if that the division does not occur is not incorrect. sent13: that not the navigationalness but the refreshing Secession occurs prevents the division. sent14: the listing genoise occurs if that the greeting spiracle but not the greeting Zeitgeist occurs does not hold. sent15: the greeting spiracle occurs. sent16: that the unequalness occurs is not wrong. sent17: the Namibianness happens. sent18: the equalness is caused by that the Namibian happens and the radiophotography does not occur. sent19: if the paralyticness occurs then not the navigationalness but the refreshing Secession occurs. sent20: the fact that the Namibian happens is not incorrect if the hydrousness happens. sent21: the trampling does not occur. sent22: the fact that the listing genoise happens is right if the greeting spiracle does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the greeting spiracle occurs but the greeting Zeitgeist does not occur hold does not hold.; sent14 & assump1 -> int1: the listing genoise occurs.; int1 & sent6 -> int2: the hydrousness happens.; int2 & sent4 -> int3: the Namibian occurs and the radiophotography does not occur.; int3 & sent18 -> int4: the unequalness does not occur.; int4 & sent16 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__