that the auctioning does not occur and the craft occurs does not hold.
sent1: that not the abduction but the Koreanness occurs prevents that the cosmetology does not occur. sent2: the abduction does not occur if the typification and the capacitiveness occurs. sent3: the miotic does not occur and the niceness happens if the Frenching atresia does not occur. sent4: the fact that the fact that the auction does not occur but the crafting occurs is not right if the fact that the cosmetology occurs hold is not false. sent5: the capacitiveness happens and the obedientness happens. sent6: if the fact that the Frenching atresia does not occur is true then the fact that the niceness happens hold. sent7: if the typification does not occur then the fact that the mioticness does not occur and the niceness happens is false. sent8: both the Korean and the clozeness occurs. sent9: the Frenching atresia does not occur.
void -> assump1: Let's assume that the typification does not occur.; sent7 & assump1 -> int1: the fact that the non-mioticness and the niceness occurs is incorrect.; sent3 & sent9 -> int2: the non-mioticness and the niceness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the typification happens.; sent5 -> int5: that the capacitiveness occurs is not wrong.; int4 & int5 -> int6: both the typification and the capacitiveness occurs.; int6 & sent2 -> int7: the abduction does not occur.; sent8 -> int8: the Korean happens.; int7 & int8 -> int9: not the abduction but the Koreanness occurs.; int9 & sent1 -> int10: the cosmetology happens.; int10 & sent4 -> hypothesis;
$hypothesis$ = that the auctioning does not occur and the craft occurs does not hold. ; $context$ = sent1: that not the abduction but the Koreanness occurs prevents that the cosmetology does not occur. sent2: the abduction does not occur if the typification and the capacitiveness occurs. sent3: the miotic does not occur and the niceness happens if the Frenching atresia does not occur. sent4: the fact that the fact that the auction does not occur but the crafting occurs is not right if the fact that the cosmetology occurs hold is not false. sent5: the capacitiveness happens and the obedientness happens. sent6: if the fact that the Frenching atresia does not occur is true then the fact that the niceness happens hold. sent7: if the typification does not occur then the fact that the mioticness does not occur and the niceness happens is false. sent8: both the Korean and the clozeness occurs. sent9: the Frenching atresia does not occur. ; $proof$ = 
void -> assump1: Let's assume that the typification does not occur.; sent7 & assump1 -> int1: the fact that the non-mioticness and the niceness occurs is incorrect.; sent3 & sent9 -> int2: the non-mioticness and the niceness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the typification happens.; sent5 -> int5: that the capacitiveness occurs is not wrong.; int4 & int5 -> int6: both the typification and the capacitiveness occurs.; int6 & sent2 -> int7: the abduction does not occur.; sent8 -> int8: the Korean happens.; int7 & int8 -> int9: not the abduction but the Koreanness occurs.; int9 & sent1 -> int10: the cosmetology happens.; int10 & sent4 -> hypothesis; __PROVED__