the impelling FNMA does not occur.
sent1: if the fact that the spraying does not occur and the wrinkling does not occur is not correct then the impelling FNMA does not occur. sent2: that the psycholinguisticsness does not occur is not false. sent3: the fact that the overreaching skua occurs hold if the inactiveness occurs. sent4: the lung-likeness does not occur. sent5: the impelling conventioneer is prevented by that either the mononuclearness occurs or the impelling conventioneer does not occur or both. sent6: that the overreaching skua happens and the trente-et-quarante occurs prevents the ventralness. sent7: both the trente-et-quarante and the firelight happens. sent8: the mononuclearness happens and/or the impelling conventioneer does not occur if the lung-likeness does not occur. sent9: the inactiveness happens if the spray does not occur and the wrinkling does not occur. sent10: if the impelling conventioneer does not occur then the ventralness occurs and the figuration happens.
void -> assump1: Let's assume that the spray does not occur and the wrinkle does not occur.; sent9 & assump1 -> int1: the inactiveness occurs.; int1 & sent3 -> int2: the overreaching skua occurs.; sent7 -> int3: the trente-et-quarante occurs.; int2 & int3 -> int4: both the overreaching skua and the trente-et-quarante occurs.; int4 & sent6 -> int5: the ventralness does not occur.; sent8 & sent4 -> int6: either the mononuclearness happens or the impelling conventioneer does not occur or both.; sent5 & int6 -> int7: the impelling conventioneer does not occur.; sent10 & int7 -> int8: both the ventralness and the figuration occurs.; int8 -> int9: the ventralness happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: that the spray does not occur and the wrinkling does not occur is wrong.; int11 & sent1 -> hypothesis;
$hypothesis$ = the impelling FNMA does not occur. ; $context$ = sent1: if the fact that the spraying does not occur and the wrinkling does not occur is not correct then the impelling FNMA does not occur. sent2: that the psycholinguisticsness does not occur is not false. sent3: the fact that the overreaching skua occurs hold if the inactiveness occurs. sent4: the lung-likeness does not occur. sent5: the impelling conventioneer is prevented by that either the mononuclearness occurs or the impelling conventioneer does not occur or both. sent6: that the overreaching skua happens and the trente-et-quarante occurs prevents the ventralness. sent7: both the trente-et-quarante and the firelight happens. sent8: the mononuclearness happens and/or the impelling conventioneer does not occur if the lung-likeness does not occur. sent9: the inactiveness happens if the spray does not occur and the wrinkling does not occur. sent10: if the impelling conventioneer does not occur then the ventralness occurs and the figuration happens. ; $proof$ = 
void -> assump1: Let's assume that the spray does not occur and the wrinkle does not occur.; sent9 & assump1 -> int1: the inactiveness occurs.; int1 & sent3 -> int2: the overreaching skua occurs.; sent7 -> int3: the trente-et-quarante occurs.; int2 & int3 -> int4: both the overreaching skua and the trente-et-quarante occurs.; int4 & sent6 -> int5: the ventralness does not occur.; sent8 & sent4 -> int6: either the mononuclearness happens or the impelling conventioneer does not occur or both.; sent5 & int6 -> int7: the impelling conventioneer does not occur.; sent10 & int7 -> int8: both the ventralness and the figuration occurs.; int8 -> int9: the ventralness happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: that the spray does not occur and the wrinkling does not occur is wrong.; int11 & sent1 -> hypothesis; __PROVED__