that if the fact that the multiplying Florida occurs is not false then the fact that the dismount occurs is right does not hold.
sent1: if that the magnification occurs but the sublimation does not occur does not hold then the multiplying Florida happens. sent2: the dismount happens if the magnification happens and the sublimation does not occur. sent3: the multiplying propositus occurs. sent4: if both the patronaging Nilotic and the exigency occurs the Saxonness does not occur. sent5: the megalithicness occurs. sent6: if the amygdalineness does not occur not the bating but the epilation happens. sent7: if the Saxonness does not occur that the multiplying Florida and/or the dismount happens is not incorrect. sent8: the fact that the flimsiness but not the enraging occurs is not true. sent9: that the acquisition occurs is brought about by the ramble. sent10: the fact that the heroic does not occur is true if the fact that the chelicerousness and the non-surficialness occurs does not hold. sent11: the fact that that the magnification does not occur leads to that the multiplying Florida does not occur is right. sent12: if that the patronaging haploidy and the non-carangidness occurs does not hold the unfastening Durango does not occur. sent13: the amygdalineness does not occur if that the multiplying mamo does not occur but the list occurs is not incorrect. sent14: the magnification happens. sent15: if that the bating does not occur is true both the mushrooming and the patronaging Nilotic happens. sent16: if the fact that the magnification but not the sublimation happens does not hold then the multiplying Florida does not occur. sent17: the multiplying mamo does not occur but the list happens.
void -> assump1: Let's assume that that the magnification but not the sublimation occurs is false.; sent16 & assump1 -> int1: the multiplying Florida does not occur.; void -> assump2: Let's assume that the multiplying Florida occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the magnification happens but the sublimation does not occur.; int3 & sent2 -> int4: the dismount happens.; [assump2] & int4 -> hypothesis;
the commuting occurs.
sent13 & sent17 -> int5: the amygdalineness does not occur.; sent6 & int5 -> int6: not the bating but the epilation happens.; int6 -> int7: the bating does not occur.; sent15 & int7 -> int8: the mushroom occurs and the patronaging Nilotic occurs.; int8 -> int9: the patronaging Nilotic occurs.;
$hypothesis$ = that if the fact that the multiplying Florida occurs is not false then the fact that the dismount occurs is right does not hold. ; $context$ = sent1: if that the magnification occurs but the sublimation does not occur does not hold then the multiplying Florida happens. sent2: the dismount happens if the magnification happens and the sublimation does not occur. sent3: the multiplying propositus occurs. sent4: if both the patronaging Nilotic and the exigency occurs the Saxonness does not occur. sent5: the megalithicness occurs. sent6: if the amygdalineness does not occur not the bating but the epilation happens. sent7: if the Saxonness does not occur that the multiplying Florida and/or the dismount happens is not incorrect. sent8: the fact that the flimsiness but not the enraging occurs is not true. sent9: that the acquisition occurs is brought about by the ramble. sent10: the fact that the heroic does not occur is true if the fact that the chelicerousness and the non-surficialness occurs does not hold. sent11: the fact that that the magnification does not occur leads to that the multiplying Florida does not occur is right. sent12: if that the patronaging haploidy and the non-carangidness occurs does not hold the unfastening Durango does not occur. sent13: the amygdalineness does not occur if that the multiplying mamo does not occur but the list occurs is not incorrect. sent14: the magnification happens. sent15: if that the bating does not occur is true both the mushrooming and the patronaging Nilotic happens. sent16: if the fact that the magnification but not the sublimation happens does not hold then the multiplying Florida does not occur. sent17: the multiplying mamo does not occur but the list happens. ; $proof$ = 
void -> assump1: Let's assume that that the magnification but not the sublimation occurs is false.; sent16 & assump1 -> int1: the multiplying Florida does not occur.; void -> assump2: Let's assume that the multiplying Florida occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the magnification happens but the sublimation does not occur.; int3 & sent2 -> int4: the dismount happens.; [assump2] & int4 -> hypothesis; __DISPROVED__