the erring does not occur.
sent1: if the interpreting telephone happens the fact that the censoring does not occur and/or the wages does not occur is false. sent2: the aphakic does not occur if that the fact that the censoring does not occur and/or the wages does not occur is right does not hold. sent3: if the censoring does not occur then the interpreting telephone does not occur. sent4: the fact that the cranialness does not occur is correct. sent5: that the homicide does not occur and the electricalness occurs is caused by that the cranialness does not occur. sent6: the arthrography does not occur if that the ecologicalness does not occur and the subdividing motorcyclist happens is false. sent7: the upmarketness does not occur. sent8: if the upmarketness does not occur both the cytoplasmicness and the arthrography happens. sent9: that that the non-ecologicalness and the subdividing motorcyclist happens is correct is false if the dunning Psittacus occurs. sent10: the interpreting telephone happens if the dunning Psittacus does not occur.
void -> assump1: Let's assume that the dunning Psittacus happens.; sent9 & assump1 -> int1: that the ecologicalness does not occur but the subdividing motorcyclist happens does not hold.; int1 & sent6 -> int2: the arthrography does not occur.; sent8 & sent7 -> int3: both the cytoplasmicness and the arthrography happens.; int3 -> int4: the arthrography occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the dunning Psittacus does not occur.; int6 & sent10 -> int7: the fact that the interpreting telephone happens is not false.; int7 & sent1 -> int8: that the censoring does not occur and/or the wages does not occur is not true.; int8 & sent2 -> int9: the aphakicness does not occur.; sent5 & sent4 -> int10: the homicide does not occur but the electricalness happens.; int10 -> int11: that the homicide does not occur is not false.; int9 & int11 -> int12: the aphakic does not occur and the homicide does not occur.;
the erring occurs.
$hypothesis$ = the erring does not occur. ; $context$ = sent1: if the interpreting telephone happens the fact that the censoring does not occur and/or the wages does not occur is false. sent2: the aphakic does not occur if that the fact that the censoring does not occur and/or the wages does not occur is right does not hold. sent3: if the censoring does not occur then the interpreting telephone does not occur. sent4: the fact that the cranialness does not occur is correct. sent5: that the homicide does not occur and the electricalness occurs is caused by that the cranialness does not occur. sent6: the arthrography does not occur if that the ecologicalness does not occur and the subdividing motorcyclist happens is false. sent7: the upmarketness does not occur. sent8: if the upmarketness does not occur both the cytoplasmicness and the arthrography happens. sent9: that that the non-ecologicalness and the subdividing motorcyclist happens is correct is false if the dunning Psittacus occurs. sent10: the interpreting telephone happens if the dunning Psittacus does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dunning Psittacus happens.; sent9 & assump1 -> int1: that the ecologicalness does not occur but the subdividing motorcyclist happens does not hold.; int1 & sent6 -> int2: the arthrography does not occur.; sent8 & sent7 -> int3: both the cytoplasmicness and the arthrography happens.; int3 -> int4: the arthrography occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the dunning Psittacus does not occur.; int6 & sent10 -> int7: the fact that the interpreting telephone happens is not false.; int7 & sent1 -> int8: that the censoring does not occur and/or the wages does not occur is not true.; int8 & sent2 -> int9: the aphakicness does not occur.; sent5 & sent4 -> int10: the homicide does not occur but the electricalness happens.; int10 -> int11: that the homicide does not occur is not false.; int9 & int11 -> int12: the aphakic does not occur and the homicide does not occur.; __UNKNOWN__