if the bestrewing stickpin does not occur that the fact that the encrimsoning bassarisk but not the raying happens is correct is incorrect.
sent1: the fact that if the microsomalness does not occur then that both the encrimsoning bassarisk and the raying occurs does not hold is correct. sent2: the teleportation is caused by the couvade. sent3: the encrimsoning bassarisk but not the ray occurs. sent4: if the bestrewing stickpin does not occur and the microsomalness does not occur then the fact that the brooming 'hood does not occur is correct. sent5: the fact that the hematopoieticness occurs and the bestrewing bombsight does not occur does not hold. sent6: the fact that both the brooming shunt and the bestrewing bombsight happens is incorrect. sent7: the couvade occurs and the polarography occurs if the tactlessness does not occur. sent8: that the teleportation happens yields the stalk. sent9: if the microsomalness does not occur that the encrimsoning bassarisk but not the raying happens is incorrect. sent10: that the bestrewing stickpin does not occur yields that the encrimsoning bassarisk occurs but the ray does not occur. sent11: the fact that the affray and the retention occurs is not true if the Prakriticness does not occur. sent12: the bestrewing stickpin happens if the microsomalness occurs. sent13: if the factory-madeness does not occur the fact that the encrimsoning page happens but the stalking does not occur is not true. sent14: the ray does not occur and the encrimsoning bassarisk does not occur if the teleportation occurs. sent15: the covalentness happens. sent16: the non-microsomalness causes that the encrimsoning bassarisk but not the raying happens. sent17: that the encrimsoning bassarisk does not occur results in that the bestrewing stickpin does not occur and the microsomalness does not occur.
void -> assump1: Let's assume that the microsomalness occurs.; sent12 & assump1 -> int1: the bestrewing stickpin occurs.; void -> assump2: Let's assume that the bestrewing stickpin does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the microsomalness does not occur.; sent9 & int3 -> int4: that the encrimsoning bassarisk but not the ray happens is not right.; [assump2] & int4 -> hypothesis;
the brooming 'hood does not occur.
$hypothesis$ = if the bestrewing stickpin does not occur that the fact that the encrimsoning bassarisk but not the raying happens is correct is incorrect. ; $context$ = sent1: the fact that if the microsomalness does not occur then that both the encrimsoning bassarisk and the raying occurs does not hold is correct. sent2: the teleportation is caused by the couvade. sent3: the encrimsoning bassarisk but not the ray occurs. sent4: if the bestrewing stickpin does not occur and the microsomalness does not occur then the fact that the brooming 'hood does not occur is correct. sent5: the fact that the hematopoieticness occurs and the bestrewing bombsight does not occur does not hold. sent6: the fact that both the brooming shunt and the bestrewing bombsight happens is incorrect. sent7: the couvade occurs and the polarography occurs if the tactlessness does not occur. sent8: that the teleportation happens yields the stalk. sent9: if the microsomalness does not occur that the encrimsoning bassarisk but not the raying happens is incorrect. sent10: that the bestrewing stickpin does not occur yields that the encrimsoning bassarisk occurs but the ray does not occur. sent11: the fact that the affray and the retention occurs is not true if the Prakriticness does not occur. sent12: the bestrewing stickpin happens if the microsomalness occurs. sent13: if the factory-madeness does not occur the fact that the encrimsoning page happens but the stalking does not occur is not true. sent14: the ray does not occur and the encrimsoning bassarisk does not occur if the teleportation occurs. sent15: the covalentness happens. sent16: the non-microsomalness causes that the encrimsoning bassarisk but not the raying happens. sent17: that the encrimsoning bassarisk does not occur results in that the bestrewing stickpin does not occur and the microsomalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the microsomalness occurs.; sent12 & assump1 -> int1: the bestrewing stickpin occurs.; void -> assump2: Let's assume that the bestrewing stickpin does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the microsomalness does not occur.; sent9 & int3 -> int4: that the encrimsoning bassarisk but not the ray happens is not right.; [assump2] & int4 -> hypothesis; __PROVED__