the refractiveness but not the arsenicalness occurs.
sent1: that both the arsenicalness and the stocktaking occurs causes that the sighting does not occur. sent2: the Esseneness happens and the outstaying occurs. sent3: if the listing occurs then the refractiveness occurs. sent4: the uploading occurs. sent5: the extirpation happens or the geriatricness occurs or both. sent6: the plum occurs. sent7: the telegraphicness occurs and/or the listing occurs. sent8: the focalization happens. sent9: the fact that the refractiveness occurs is not incorrect if that the telegraphicness happens is correct. sent10: the offensiveness happens. sent11: the sights happens. sent12: the cleavage happens if the liking occurs. sent13: the expiring cusk happens and the lactation occurs. sent14: the refractiveness does not occur if the fact that the telegraphicness happens and/or the listing occurs is not true. sent15: the stocktaking occurs if the Essene happens. sent16: the broadsiding shinplaster happens and the Esseneness occurs if the outstaying does not occur. sent17: the noncommercialness occurs and the dentalness occurs.
sent2 -> int1: the Essene occurs.; int1 & sent15 -> int2: the stocktaking occurs.; void -> assump1: Let's assume that the arsenicalness occurs.; int2 & assump1 -> int3: both the arsenical and the stocktaking occurs.; int3 & sent1 -> int4: the sighting does not occur.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the arsenicalness happens is not right.; sent7 & sent9 & sent3 -> int7: the refractiveness happens.; int6 & int7 -> hypothesis;
the broadsiding shinplaster occurs.
$hypothesis$ = the refractiveness but not the arsenicalness occurs. ; $context$ = sent1: that both the arsenicalness and the stocktaking occurs causes that the sighting does not occur. sent2: the Esseneness happens and the outstaying occurs. sent3: if the listing occurs then the refractiveness occurs. sent4: the uploading occurs. sent5: the extirpation happens or the geriatricness occurs or both. sent6: the plum occurs. sent7: the telegraphicness occurs and/or the listing occurs. sent8: the focalization happens. sent9: the fact that the refractiveness occurs is not incorrect if that the telegraphicness happens is correct. sent10: the offensiveness happens. sent11: the sights happens. sent12: the cleavage happens if the liking occurs. sent13: the expiring cusk happens and the lactation occurs. sent14: the refractiveness does not occur if the fact that the telegraphicness happens and/or the listing occurs is not true. sent15: the stocktaking occurs if the Essene happens. sent16: the broadsiding shinplaster happens and the Esseneness occurs if the outstaying does not occur. sent17: the noncommercialness occurs and the dentalness occurs. ; $proof$ = 
sent2 -> int1: the Essene occurs.; int1 & sent15 -> int2: the stocktaking occurs.; void -> assump1: Let's assume that the arsenicalness occurs.; int2 & assump1 -> int3: both the arsenical and the stocktaking occurs.; int3 & sent1 -> int4: the sighting does not occur.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the arsenicalness happens is not right.; sent7 & sent9 & sent3 -> int7: the refractiveness happens.; int6 & int7 -> hypothesis; __PROVED__