the following does not occur or the Alpinism happens or both.
sent1: both the finishing Apogonidae and the election happens. sent2: if the finishing Apogonidae occurs then the multiphaseness happens. sent3: the fact that the finishing Apogonidae occurs but the election does not occur is wrong if the fact that the unthematicness does not occur hold. sent4: the multiphaseness occurs. sent5: the thematicness is brought about by that the monoclinicness happens and the patience occurs. sent6: the outflanking Characidae happens or the multiphaseness happens or both. sent7: the finishing histoincompatibility happens if that either the following happens or the Alpinism happens or both is not correct. sent8: the following happens. sent9: the following happens or the Alpinism happens or both. sent10: if the finishing histoincompatibility occurs then the outflanking Characidae happens and/or the multiphaseness does not occur. sent11: that the outflanking Characidae does not occur and the finishing histoincompatibility happens results in that the multiphaseness happens. sent12: the splatting Aranyaka happens. sent13: the finishing histoincompatibility happens if that the following does not occur or the Alpinism occurs or both does not hold. sent14: if the finishing histoincompatibility occurs then either the outflanking Characidae or the multiphaseness or both happens. sent15: if the finishing histoincompatibility does not occur then the ecologicalness and the multiphaseness occurs. sent16: the election happens. sent17: the fact that either the outflanking Characidae occurs or the multiphaseness does not occur or both is wrong if the finishing Apogonidae occurs.
void -> assump1: Let's assume that the fact that the following does not occur or the Alpinism happens or both is not correct.; sent13 & assump1 -> int1: the finishing histoincompatibility happens.; int1 & sent10 -> int2: the outflanking Characidae occurs and/or the multiphaseness does not occur.; sent1 -> int3: the finishing Apogonidae occurs.; sent17 & int3 -> int4: the fact that the outflanking Characidae happens and/or the multiphaseness does not occur is false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
that the following does not occur and/or the Alpinism happens is not right.
$hypothesis$ = the following does not occur or the Alpinism happens or both. ; $context$ = sent1: both the finishing Apogonidae and the election happens. sent2: if the finishing Apogonidae occurs then the multiphaseness happens. sent3: the fact that the finishing Apogonidae occurs but the election does not occur is wrong if the fact that the unthematicness does not occur hold. sent4: the multiphaseness occurs. sent5: the thematicness is brought about by that the monoclinicness happens and the patience occurs. sent6: the outflanking Characidae happens or the multiphaseness happens or both. sent7: the finishing histoincompatibility happens if that either the following happens or the Alpinism happens or both is not correct. sent8: the following happens. sent9: the following happens or the Alpinism happens or both. sent10: if the finishing histoincompatibility occurs then the outflanking Characidae happens and/or the multiphaseness does not occur. sent11: that the outflanking Characidae does not occur and the finishing histoincompatibility happens results in that the multiphaseness happens. sent12: the splatting Aranyaka happens. sent13: the finishing histoincompatibility happens if that the following does not occur or the Alpinism occurs or both does not hold. sent14: if the finishing histoincompatibility occurs then either the outflanking Characidae or the multiphaseness or both happens. sent15: if the finishing histoincompatibility does not occur then the ecologicalness and the multiphaseness occurs. sent16: the election happens. sent17: the fact that either the outflanking Characidae occurs or the multiphaseness does not occur or both is wrong if the finishing Apogonidae occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the following does not occur or the Alpinism happens or both is not correct.; sent13 & assump1 -> int1: the finishing histoincompatibility happens.; int1 & sent10 -> int2: the outflanking Characidae occurs and/or the multiphaseness does not occur.; sent1 -> int3: the finishing Apogonidae occurs.; sent17 & int3 -> int4: the fact that the outflanking Characidae happens and/or the multiphaseness does not occur is false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__