that the Chaldeanness does not occur and/or the adamantineness does not occur is not right.
sent1: if the aging caudate does not occur then the surfacing occurs. sent2: either the Chaldeanness or the non-adamantineness or both occurs. sent3: that the Zambian occurs is right if the fact that the extantness and the Zambianness occurs is not right. sent4: the batching polony occurs and/or the receivership occurs. sent5: that if the irradiating circularity does not occur then the nonextantness happens and the selflessness happens hold. sent6: that the fact that the non-Chaldeanness and/or the non-adamantineness occurs is incorrect is not false if the recoverableness happens. sent7: the fact that the Chilean happens is right. sent8: the recoverableness leads to the non-Zambianness. sent9: the non-adamantineness causes either the surfacingness or that the Chaldean happens or both. sent10: if the fact that either the surfacing or the discrepancy or both occurs does not hold the Chaldean does not occur. sent11: if that either the aging caudate occurs or the Zambian does not occur or both is not true the fact that the recoverableness does not occur is not false. sent12: that the recoverableness occurs and/or the aging caudate causes that the Zambianness does not occur. sent13: the fact that the non-nonextantness and the Zambianness occurs is incorrect. sent14: that that the nonextantness does not occur and the Zambianness does not occur does not hold is correct. sent15: if that either the non-surfacingness or the discrepancy or both happens is false the Chaldean does not occur. sent16: the surfacing happens. sent17: the fact that the plying does not occur and the overturning does not occur is not true if the recoverableness does not occur. sent18: the non-Chaldeanness and/or the adamantineness happens. sent19: the fact that the non-surfacingness or the discrepancy or both occurs is false if the aging caudate does not occur.
void -> assump1: Let's assume that the aging caudate happens.; assump1 -> int1: the recoverableness and/or the aging caudate happens.; int1 & sent12 -> int2: the Zambianness does not occur.; sent3 & sent14 -> int3: the Zambianness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the aging caudate does not occur.; int5 & sent19 -> int6: the fact that the surfacing does not occur and/or the discrepancy occurs does not hold.; int6 & sent15 -> int7: the Chaldeanness does not occur.; int7 -> hypothesis;
the fact that the plying does not occur and the overturn does not occur is not right.
$hypothesis$ = that the Chaldeanness does not occur and/or the adamantineness does not occur is not right. ; $context$ = sent1: if the aging caudate does not occur then the surfacing occurs. sent2: either the Chaldeanness or the non-adamantineness or both occurs. sent3: that the Zambian occurs is right if the fact that the extantness and the Zambianness occurs is not right. sent4: the batching polony occurs and/or the receivership occurs. sent5: that if the irradiating circularity does not occur then the nonextantness happens and the selflessness happens hold. sent6: that the fact that the non-Chaldeanness and/or the non-adamantineness occurs is incorrect is not false if the recoverableness happens. sent7: the fact that the Chilean happens is right. sent8: the recoverableness leads to the non-Zambianness. sent9: the non-adamantineness causes either the surfacingness or that the Chaldean happens or both. sent10: if the fact that either the surfacing or the discrepancy or both occurs does not hold the Chaldean does not occur. sent11: if that either the aging caudate occurs or the Zambian does not occur or both is not true the fact that the recoverableness does not occur is not false. sent12: that the recoverableness occurs and/or the aging caudate causes that the Zambianness does not occur. sent13: the fact that the non-nonextantness and the Zambianness occurs is incorrect. sent14: that that the nonextantness does not occur and the Zambianness does not occur does not hold is correct. sent15: if that either the non-surfacingness or the discrepancy or both happens is false the Chaldean does not occur. sent16: the surfacing happens. sent17: the fact that the plying does not occur and the overturning does not occur is not true if the recoverableness does not occur. sent18: the non-Chaldeanness and/or the adamantineness happens. sent19: the fact that the non-surfacingness or the discrepancy or both occurs is false if the aging caudate does not occur. ; $proof$ = 
void -> assump1: Let's assume that the aging caudate happens.; assump1 -> int1: the recoverableness and/or the aging caudate happens.; int1 & sent12 -> int2: the Zambianness does not occur.; sent3 & sent14 -> int3: the Zambianness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the aging caudate does not occur.; int5 & sent19 -> int6: the fact that the surfacing does not occur and/or the discrepancy occurs does not hold.; int6 & sent15 -> int7: the Chaldeanness does not occur.; int7 -> hypothesis; __DISPROVED__