if the polo does not occur the fact that the helpdesk does not occur and the installment does not occur does not hold.
sent1: the fact that the helpdesk does not occur and the installment does not occur is not true if the hollowing does not occur. sent2: if the refining does not occur then the fact that the eluting alpha-naphthol and the residual occurs is wrong. sent3: if the looming trapper does not occur the fact that the tenpins but not the Chianness occurs is wrong. sent4: the decompression happens. sent5: if the looming shoot-'em-up does not occur then that not the tenpins but the looming crackle happens is not correct. sent6: if the fact that the guardianship does not occur and the recusing does not occur is false then the polo happens. sent7: the hollow does not occur if that the eluting alpha-naphthol occurs and the residual happens is incorrect. sent8: that the refining does not occur is triggered by that the guardianship does not occur and the recusing does not occur. sent9: if the no-trump happens that the kindness does not occur and the matrimony does not occur is not true. sent10: that the quadraticsness does not occur and the repair does not occur is wrong if the caning bravo does not occur.
void -> assump2: Let's assume that the fact that the guardianship does not occur and the recusing does not occur is not true.; sent6 & assump2 -> int1: the polo occurs.; void -> assump1: Let's assume that the polo does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the guardianship does not occur and the recusing does not occur.; sent8 & int3 -> int4: the refining does not occur.; sent2 & int4 -> int5: the fact that the eluting alpha-naphthol occurs and the residualness happens is not right.; sent7 & int5 -> int6: the hollowing does not occur.; sent1 & int6 -> int7: that the helpdesk does not occur and the installment does not occur is not true.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the polo does not occur the fact that the helpdesk does not occur and the installment does not occur does not hold. ; $context$ = sent1: the fact that the helpdesk does not occur and the installment does not occur is not true if the hollowing does not occur. sent2: if the refining does not occur then the fact that the eluting alpha-naphthol and the residual occurs is wrong. sent3: if the looming trapper does not occur the fact that the tenpins but not the Chianness occurs is wrong. sent4: the decompression happens. sent5: if the looming shoot-'em-up does not occur then that not the tenpins but the looming crackle happens is not correct. sent6: if the fact that the guardianship does not occur and the recusing does not occur is false then the polo happens. sent7: the hollow does not occur if that the eluting alpha-naphthol occurs and the residual happens is incorrect. sent8: that the refining does not occur is triggered by that the guardianship does not occur and the recusing does not occur. sent9: if the no-trump happens that the kindness does not occur and the matrimony does not occur is not true. sent10: that the quadraticsness does not occur and the repair does not occur is wrong if the caning bravo does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the guardianship does not occur and the recusing does not occur is not true.; sent6 & assump2 -> int1: the polo occurs.; void -> assump1: Let's assume that the polo does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the guardianship does not occur and the recusing does not occur.; sent8 & int3 -> int4: the refining does not occur.; sent2 & int4 -> int5: the fact that the eluting alpha-naphthol occurs and the residualness happens is not right.; sent7 & int5 -> int6: the hollowing does not occur.; sent1 & int6 -> int7: that the helpdesk does not occur and the installment does not occur is not true.; [assump1] & int7 -> hypothesis; __PROVED__