the blacklisting Lemuridae does not occur.
sent1: if the navigating does not occur and the gallantry does not occur the blacklisting Lemuridae does not occur. sent2: the fact that the impinging nosher occurs but the foremanship does not occur does not hold if the comptrollership does not occur. sent3: the rings does not occur if that both the rings and the prehensileness happens is not right. sent4: the bolide happens. sent5: if the navigating does not occur but the gallantry occurs that the blacklisting Lemuridae does not occur is not false. sent6: if the prehensileness does not occur that the foremanship does not occur and the impinging nosher does not occur is not true. sent7: if the spaceflight occurs the fact that the decimation does not occur and the malfeasance does not occur is correct. sent8: the fact that the plumbing happens or the teleologicalness occurs or both is correct. sent9: if the prehensileness and/or the Rooseveltianness happens the bolide does not occur. sent10: if the comptrollership occurs the navigating does not occur and the gallantry does not occur. sent11: the repining does not occur and the staving oiler does not occur. sent12: that the Rooseveltianness occurs prevents the bolide. sent13: the blacklisting treatise does not occur. sent14: that that the foremanship but not the impinging nosher happens is wrong is correct. sent15: that the foremanship does not occur and the impinging nosher occurs does not hold. sent16: the comptrollership occurs if that the foremanship does not occur and the impinging nosher does not occur is not true. sent17: the fact that the conventionalization does not occur and the spinning does not occur is wrong. sent18: the gallantry does not occur.
void -> assump1: Let's assume that the prehensileness happens.; assump1 -> int1: either the prehensileness or the Rooseveltianness or both occurs.; int1 & sent9 -> int2: the bolide does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the prehensileness does not occur is not false.; int4 & sent6 -> int5: the fact that the foremanship does not occur and the impinging nosher does not occur is incorrect.; int5 & sent16 -> int6: the comptrollership happens.; int6 & sent10 -> int7: the navigating does not occur and the gallantry does not occur.; int7 & sent1 -> hypothesis;
the rings does not occur.
$hypothesis$ = the blacklisting Lemuridae does not occur. ; $context$ = sent1: if the navigating does not occur and the gallantry does not occur the blacklisting Lemuridae does not occur. sent2: the fact that the impinging nosher occurs but the foremanship does not occur does not hold if the comptrollership does not occur. sent3: the rings does not occur if that both the rings and the prehensileness happens is not right. sent4: the bolide happens. sent5: if the navigating does not occur but the gallantry occurs that the blacklisting Lemuridae does not occur is not false. sent6: if the prehensileness does not occur that the foremanship does not occur and the impinging nosher does not occur is not true. sent7: if the spaceflight occurs the fact that the decimation does not occur and the malfeasance does not occur is correct. sent8: the fact that the plumbing happens or the teleologicalness occurs or both is correct. sent9: if the prehensileness and/or the Rooseveltianness happens the bolide does not occur. sent10: if the comptrollership occurs the navigating does not occur and the gallantry does not occur. sent11: the repining does not occur and the staving oiler does not occur. sent12: that the Rooseveltianness occurs prevents the bolide. sent13: the blacklisting treatise does not occur. sent14: that that the foremanship but not the impinging nosher happens is wrong is correct. sent15: that the foremanship does not occur and the impinging nosher occurs does not hold. sent16: the comptrollership occurs if that the foremanship does not occur and the impinging nosher does not occur is not true. sent17: the fact that the conventionalization does not occur and the spinning does not occur is wrong. sent18: the gallantry does not occur. ; $proof$ = 
void -> assump1: Let's assume that the prehensileness happens.; assump1 -> int1: either the prehensileness or the Rooseveltianness or both occurs.; int1 & sent9 -> int2: the bolide does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the prehensileness does not occur is not false.; int4 & sent6 -> int5: the fact that the foremanship does not occur and the impinging nosher does not occur is incorrect.; int5 & sent16 -> int6: the comptrollership happens.; int6 & sent10 -> int7: the navigating does not occur and the gallantry does not occur.; int7 & sent1 -> hypothesis; __PROVED__