the emendation does not occur and the digitizing adopter does not occur.
sent1: if the fact that the lobbing Apidae but not the digitizing Nehru happens is false then the Timorese occurs. sent2: the proctorship happens. sent3: the uncovering is prevented by that the taming occurs and the damascening occurs. sent4: that the Timoreseness and the collocation happens brings about that the instrumenting does not occur. sent5: if the collocation does not occur the fact that the emendation does not occur and the digitizing adopter does not occur is not true. sent6: that the promising and the Athenian happens is not false. sent7: the fact that the digitizing acidity happens and the lobbing flash does not occur does not hold. sent8: the fact that the lobbing Apidae happens and the digitizing Nehru does not occur is wrong. sent9: if the instrument does not occur then the emendation does not occur and the digitizing adopter does not occur. sent10: if the bogging Braque does not occur the surmising does not occur. sent11: the mutationalness happens. sent12: if the digitizing Ixodidae does not occur the corinthianness does not occur. sent13: the detracting brings about that the instrument occurs and the proctorship does not occur. sent14: the collocation and the proctorship occurs.
sent1 & sent8 -> int1: the Timorese occurs.; sent14 -> int2: the collocation occurs.; int1 & int2 -> int3: the Timoreseness and the collocation happens.; int3 & sent4 -> int4: the instrument does not occur.; int4 & sent9 -> hypothesis;
the fact that the emendation does not occur and the digitizing adopter does not occur is not right.
$hypothesis$ = the emendation does not occur and the digitizing adopter does not occur. ; $context$ = sent1: if the fact that the lobbing Apidae but not the digitizing Nehru happens is false then the Timorese occurs. sent2: the proctorship happens. sent3: the uncovering is prevented by that the taming occurs and the damascening occurs. sent4: that the Timoreseness and the collocation happens brings about that the instrumenting does not occur. sent5: if the collocation does not occur the fact that the emendation does not occur and the digitizing adopter does not occur is not true. sent6: that the promising and the Athenian happens is not false. sent7: the fact that the digitizing acidity happens and the lobbing flash does not occur does not hold. sent8: the fact that the lobbing Apidae happens and the digitizing Nehru does not occur is wrong. sent9: if the instrument does not occur then the emendation does not occur and the digitizing adopter does not occur. sent10: if the bogging Braque does not occur the surmising does not occur. sent11: the mutationalness happens. sent12: if the digitizing Ixodidae does not occur the corinthianness does not occur. sent13: the detracting brings about that the instrument occurs and the proctorship does not occur. sent14: the collocation and the proctorship occurs. ; $proof$ = 
sent1 & sent8 -> int1: the Timorese occurs.; sent14 -> int2: the collocation occurs.; int1 & int2 -> int3: the Timoreseness and the collocation happens.; int3 & sent4 -> int4: the instrument does not occur.; int4 & sent9 -> hypothesis; __PROVED__