the riveting AFP happens.
sent1: that the riveting AFP does not occur is triggered by that either the clear does not occur or the riveting saddle does not occur or both. sent2: if the pietisticness does not occur then the riveting AFP does not occur and/or the looting Ambystomatidae does not occur. sent3: either that the riveting AFP does not occur or that the looting Ambystomatidae does not occur or both prevents the rescue. sent4: if that either the clear does not occur or the riveting saddle does not occur or both does not hold then the looting Ambystomatidae does not occur. sent5: if that the whimper does not occur or the Hmongness does not occur or both is wrong then the populating Latimeridae does not occur. sent6: the litigation does not occur if that not the manipulation but the litigation occurs is incorrect. sent7: the looting Ambystomatidae occurs and the pietisticness happens. sent8: the fact that not the manipulation but the litigation occurs does not hold if the decentralization does not occur. sent9: the riveting scopolamine occurs but the pietisticness does not occur if the litigation does not occur.
void -> assump1: Let's assume that that the clearness does not occur and/or the riveting saddle does not occur is false.; sent4 & assump1 -> int1: the looting Ambystomatidae does not occur.; sent7 -> int2: the looting Ambystomatidae occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: either the clear does not occur or the riveting saddle does not occur or both.; int4 & sent1 -> hypothesis;
the rescuing does not occur.
$hypothesis$ = the riveting AFP happens. ; $context$ = sent1: that the riveting AFP does not occur is triggered by that either the clear does not occur or the riveting saddle does not occur or both. sent2: if the pietisticness does not occur then the riveting AFP does not occur and/or the looting Ambystomatidae does not occur. sent3: either that the riveting AFP does not occur or that the looting Ambystomatidae does not occur or both prevents the rescue. sent4: if that either the clear does not occur or the riveting saddle does not occur or both does not hold then the looting Ambystomatidae does not occur. sent5: if that the whimper does not occur or the Hmongness does not occur or both is wrong then the populating Latimeridae does not occur. sent6: the litigation does not occur if that not the manipulation but the litigation occurs is incorrect. sent7: the looting Ambystomatidae occurs and the pietisticness happens. sent8: the fact that not the manipulation but the litigation occurs does not hold if the decentralization does not occur. sent9: the riveting scopolamine occurs but the pietisticness does not occur if the litigation does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the clearness does not occur and/or the riveting saddle does not occur is false.; sent4 & assump1 -> int1: the looting Ambystomatidae does not occur.; sent7 -> int2: the looting Ambystomatidae occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: either the clear does not occur or the riveting saddle does not occur or both.; int4 & sent1 -> hypothesis; __DISPROVED__