the unshodness does not occur.
sent1: the guessing occurs if the evicting hamburger happens. sent2: not the urgency but the shafting bantam occurs if the guess happens. sent3: the scapularness occurs. sent4: that the evicting hamburger and the holdover occurs is caused by that the shafting paynim does not occur. sent5: the fact that the orthographicness happens is right. sent6: the unshodness happens if that the non-scapularness and the perpetuating politeness occurs is incorrect. sent7: if the perpetuating politeness does not occur then the fact that the scapular and the shafting neckerchief happens is right. sent8: the shafting paynim does not occur if the fact that not the shafting Camelidae but the shafting paynim occurs does not hold. sent9: that the unshodness occurs and the unquietness happens is incorrect if the urgency does not occur. sent10: the unshodness happens if the perpetuating politeness does not occur. sent11: not the incandescence but the unsanitariness occurs. sent12: if the perpetuating politeness does not occur the unshodness does not occur and the scapular does not occur. sent13: that the shafting Camelidae does not occur but the shafting paynim occurs is not true if the spending does not occur. sent14: the perpetuating politeness happens. sent15: the small occurs if the fact that the non-charitableness and the bogging detritus happens is incorrect. sent16: that the inadequateness does not occur but the perpetuating Northrop happens is not right.
void -> assump1: Let's assume that both the non-scapularness and the perpetuating politeness occurs.; assump1 -> int1: the scapular does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the scapular does not occur and the perpetuating politeness occurs is not right.; sent6 & int3 -> hypothesis;
the shafting neckerchief happens.
$hypothesis$ = the unshodness does not occur. ; $context$ = sent1: the guessing occurs if the evicting hamburger happens. sent2: not the urgency but the shafting bantam occurs if the guess happens. sent3: the scapularness occurs. sent4: that the evicting hamburger and the holdover occurs is caused by that the shafting paynim does not occur. sent5: the fact that the orthographicness happens is right. sent6: the unshodness happens if that the non-scapularness and the perpetuating politeness occurs is incorrect. sent7: if the perpetuating politeness does not occur then the fact that the scapular and the shafting neckerchief happens is right. sent8: the shafting paynim does not occur if the fact that not the shafting Camelidae but the shafting paynim occurs does not hold. sent9: that the unshodness occurs and the unquietness happens is incorrect if the urgency does not occur. sent10: the unshodness happens if the perpetuating politeness does not occur. sent11: not the incandescence but the unsanitariness occurs. sent12: if the perpetuating politeness does not occur the unshodness does not occur and the scapular does not occur. sent13: that the shafting Camelidae does not occur but the shafting paynim occurs is not true if the spending does not occur. sent14: the perpetuating politeness happens. sent15: the small occurs if the fact that the non-charitableness and the bogging detritus happens is incorrect. sent16: that the inadequateness does not occur but the perpetuating Northrop happens is not right. ; $proof$ = 
void -> assump1: Let's assume that both the non-scapularness and the perpetuating politeness occurs.; assump1 -> int1: the scapular does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the scapular does not occur and the perpetuating politeness occurs is not right.; sent6 & int3 -> hypothesis; __DISPROVED__