that the thrombosing Shepard does not occur hold.
sent1: the thrombosing Mach does not occur. sent2: the isentropicness occurs if the bursalness happens. sent3: the consolidating occurs. sent4: if the basketry does not occur and the high-energiness happens then the thrombosing southernness happens. sent5: the horse-drawnness does not occur if both the non-ferromagneticness and the non-alopecicness happens. sent6: if the basketry does not occur then the high-energiness does not occur and the weaning Seminole does not occur. sent7: if the spectating autograft does not occur and the horse-drawnness occurs the thrombosing Shepard happens. sent8: if the weaning Seminole and the non-isentropicness occurs then the horse-drawnness occurs. sent9: if the basketry does not occur the high-energiness does not occur. sent10: the basketry does not occur. sent11: that the ferromagneticness occurs and the alopecicness does not occur prevents the horse-drawnness. sent12: if the thrombosing southernness occurs then the isentropicness occurs. sent13: that the thrombosing tenon happens is true. sent14: the propping washerman does not occur. sent15: that the horse-drawnness does not occur and the weaning Seminole does not occur prevents that the isentropicness occurs. sent16: either the thrombosing southernness or the bursalness or both happens. sent17: the ferromagneticness does not occur. sent18: if the horse-drawnness does not occur and the spectating autograft does not occur then the fact that the thrombosing Shepard happens is right. sent19: the obtainment does not occur. sent20: the thrombosing Shepard does not occur if both the spectating autograft and the consolidating occurs. sent21: the non-Thainess and the non-Tunisianness occurs. sent22: the fact that the high-energiness does not occur is correct. sent23: the ferromagneticness does not occur if that the spectating autograft does not occur hold. sent24: that the non-ferromagneticness and the non-alopecicness occurs is caused by that the spectating autograft does not occur. sent25: the basophilicness does not occur. sent26: that the basketry does not occur but the high-energiness occurs is caused by that the reining does not occur. sent27: that the weaning Seminole occurs yields that the horse-drawnness does not occur and the spectating autograft does not occur.
void -> assump1: Let's assume that the spectating autograft does not occur.; sent24 & assump1 -> int1: the non-ferromagneticness and the non-alopecicness occurs.; int1 & sent5 -> int2: the horse-drawnness does not occur.; sent6 & sent10 -> int3: the high-energiness does not occur and the weaning Seminole does not occur.; int3 -> int4: the weaning Seminole does not occur.; int2 & int4 -> int5: the horse-drawnness does not occur and the weaning Seminole does not occur.; int5 & sent15 -> int6: that the isentropicness does not occur is true.; sent16 & sent12 & sent2 -> int7: the fact that the isentropicness does not occur does not hold.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the spectating autograft happens.; int9 & sent3 -> int10: both the spectating autograft and the consolidating happens.; int10 & sent20 -> hypothesis;
the polish does not occur.
$hypothesis$ = that the thrombosing Shepard does not occur hold. ; $context$ = sent1: the thrombosing Mach does not occur. sent2: the isentropicness occurs if the bursalness happens. sent3: the consolidating occurs. sent4: if the basketry does not occur and the high-energiness happens then the thrombosing southernness happens. sent5: the horse-drawnness does not occur if both the non-ferromagneticness and the non-alopecicness happens. sent6: if the basketry does not occur then the high-energiness does not occur and the weaning Seminole does not occur. sent7: if the spectating autograft does not occur and the horse-drawnness occurs the thrombosing Shepard happens. sent8: if the weaning Seminole and the non-isentropicness occurs then the horse-drawnness occurs. sent9: if the basketry does not occur the high-energiness does not occur. sent10: the basketry does not occur. sent11: that the ferromagneticness occurs and the alopecicness does not occur prevents the horse-drawnness. sent12: if the thrombosing southernness occurs then the isentropicness occurs. sent13: that the thrombosing tenon happens is true. sent14: the propping washerman does not occur. sent15: that the horse-drawnness does not occur and the weaning Seminole does not occur prevents that the isentropicness occurs. sent16: either the thrombosing southernness or the bursalness or both happens. sent17: the ferromagneticness does not occur. sent18: if the horse-drawnness does not occur and the spectating autograft does not occur then the fact that the thrombosing Shepard happens is right. sent19: the obtainment does not occur. sent20: the thrombosing Shepard does not occur if both the spectating autograft and the consolidating occurs. sent21: the non-Thainess and the non-Tunisianness occurs. sent22: the fact that the high-energiness does not occur is correct. sent23: the ferromagneticness does not occur if that the spectating autograft does not occur hold. sent24: that the non-ferromagneticness and the non-alopecicness occurs is caused by that the spectating autograft does not occur. sent25: the basophilicness does not occur. sent26: that the basketry does not occur but the high-energiness occurs is caused by that the reining does not occur. sent27: that the weaning Seminole occurs yields that the horse-drawnness does not occur and the spectating autograft does not occur. ; $proof$ = 
void -> assump1: Let's assume that the spectating autograft does not occur.; sent24 & assump1 -> int1: the non-ferromagneticness and the non-alopecicness occurs.; int1 & sent5 -> int2: the horse-drawnness does not occur.; sent6 & sent10 -> int3: the high-energiness does not occur and the weaning Seminole does not occur.; int3 -> int4: the weaning Seminole does not occur.; int2 & int4 -> int5: the horse-drawnness does not occur and the weaning Seminole does not occur.; int5 & sent15 -> int6: that the isentropicness does not occur is true.; sent16 & sent12 & sent2 -> int7: the fact that the isentropicness does not occur does not hold.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the spectating autograft happens.; int9 & sent3 -> int10: both the spectating autograft and the consolidating happens.; int10 & sent20 -> hypothesis; __PROVED__