the administering Arizonan occurs.
sent1: the duplication does not occur if the fiddling divvy does not occur. sent2: the fact that the prizing but not the linemen happens is incorrect. sent3: the fact that the homesteading Bannister does not occur hold if the mooing happens and the tattoo happens. sent4: that the falconineness occurs is right. sent5: that the sugariness occurs is right. sent6: the disclosure does not occur. sent7: if the administering Arizonan happens then the fact that the fiddling divvy but not the Vietnameseness occurs is false. sent8: the fact that the banging does not occur is true if the dehumanization but not the homesteading horsebean happens. sent9: that not the heater but the unfathomableness occurs causes that the duplication occurs. sent10: if the fact that the administering Arizonan does not occur and the disclosure does not occur does not hold the administering Arizonan occurs. sent11: the homesteading roomful occurs but the Guyanese does not occur if the banging does not occur. sent12: that the duplication does not occur results in the disclosure. sent13: both the mooing and the tattoo occurs if the Guyaneseness does not occur. sent14: the duplication does not occur if the fact that the fiddling divvy and the non-Vietnameseness happens does not hold. sent15: that the resistlessness and the homesteading anglophile happens is caused by that the homesteading Bannister does not occur. sent16: the alluvion happens if the resistlessness happens. sent17: if the alluvion happens not the heater but the unfathomableness occurs.
void -> assump1: Let's assume that the administering Arizonan occurs.; sent7 & assump1 -> int1: that that both the fiddling divvy and the non-Vietnameseness happens is not right is true.; int1 & sent14 -> int2: the duplication does not occur.; int2 & sent12 -> int3: the disclosure occurs.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the administering Arizonan occurs.
$hypothesis$ = the administering Arizonan occurs. ; $context$ = sent1: the duplication does not occur if the fiddling divvy does not occur. sent2: the fact that the prizing but not the linemen happens is incorrect. sent3: the fact that the homesteading Bannister does not occur hold if the mooing happens and the tattoo happens. sent4: that the falconineness occurs is right. sent5: that the sugariness occurs is right. sent6: the disclosure does not occur. sent7: if the administering Arizonan happens then the fact that the fiddling divvy but not the Vietnameseness occurs is false. sent8: the fact that the banging does not occur is true if the dehumanization but not the homesteading horsebean happens. sent9: that not the heater but the unfathomableness occurs causes that the duplication occurs. sent10: if the fact that the administering Arizonan does not occur and the disclosure does not occur does not hold the administering Arizonan occurs. sent11: the homesteading roomful occurs but the Guyanese does not occur if the banging does not occur. sent12: that the duplication does not occur results in the disclosure. sent13: both the mooing and the tattoo occurs if the Guyaneseness does not occur. sent14: the duplication does not occur if the fact that the fiddling divvy and the non-Vietnameseness happens does not hold. sent15: that the resistlessness and the homesteading anglophile happens is caused by that the homesteading Bannister does not occur. sent16: the alluvion happens if the resistlessness happens. sent17: if the alluvion happens not the heater but the unfathomableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the administering Arizonan occurs.; sent7 & assump1 -> int1: that that both the fiddling divvy and the non-Vietnameseness happens is not right is true.; int1 & sent14 -> int2: the duplication does not occur.; int2 & sent12 -> int3: the disclosure occurs.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__