that both the clinking oxime and the squashing occurs does not hold.
sent1: both the decaying and the finiteness occurs if the application does not occur. sent2: the clinking oxime occurs if the clinking minimalism happens. sent3: the clinking hypostatization does not occur or the dentalness happens or both. sent4: the clinking minimalism does not occur. sent5: both the patterning and the non-technophobicness happens if the fact that the decay happens is true. sent6: the clinking oxime happens if either the concealment does not occur or the clinking minimalism occurs or both. sent7: the non-technophobicness yields that both the clinking hypostatization and the secession happens. sent8: if the dusking occurs then that the clinking hypostatization does not occur and/or the dentalness happens is false. sent9: the dentalness does not occur. sent10: the squashing occurs. sent11: if the dusking occurs then the dentalness does not occur. sent12: the non-dentalness and the dusking happens if the clinking hypostatization happens. sent13: the dusking happens if that that the concealment does not occur or the clinking minimalism occurs or both is not true hold.
void -> assump1: Let's assume that the fact that the concealment does not occur and/or the clinking minimalism happens is incorrect.; sent13 & assump1 -> int1: the fact that the dusking occurs is not false.; int1 & sent8 -> int2: that the clinking hypostatization does not occur and/or the dentalness happens is false.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the concealment does not occur or the clinking minimalism occurs or both.; int4 & sent6 -> int5: the clinking oxime happens.; int5 & sent10 -> hypothesis;
the fact that the clinking oxime happens and the squash happens is incorrect.
$hypothesis$ = that both the clinking oxime and the squashing occurs does not hold. ; $context$ = sent1: both the decaying and the finiteness occurs if the application does not occur. sent2: the clinking oxime occurs if the clinking minimalism happens. sent3: the clinking hypostatization does not occur or the dentalness happens or both. sent4: the clinking minimalism does not occur. sent5: both the patterning and the non-technophobicness happens if the fact that the decay happens is true. sent6: the clinking oxime happens if either the concealment does not occur or the clinking minimalism occurs or both. sent7: the non-technophobicness yields that both the clinking hypostatization and the secession happens. sent8: if the dusking occurs then that the clinking hypostatization does not occur and/or the dentalness happens is false. sent9: the dentalness does not occur. sent10: the squashing occurs. sent11: if the dusking occurs then the dentalness does not occur. sent12: the non-dentalness and the dusking happens if the clinking hypostatization happens. sent13: the dusking happens if that that the concealment does not occur or the clinking minimalism occurs or both is not true hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the concealment does not occur and/or the clinking minimalism happens is incorrect.; sent13 & assump1 -> int1: the fact that the dusking occurs is not false.; int1 & sent8 -> int2: that the clinking hypostatization does not occur and/or the dentalness happens is false.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the concealment does not occur or the clinking minimalism occurs or both.; int4 & sent6 -> int5: the clinking oxime happens.; int5 & sent10 -> hypothesis; __DISPROVED__