the non-semioticsness and the non-Sinhalaness occurs.
sent1: the glint does not occur and the feminine does not occur if the horizontal does not occur. sent2: both the allergenicness and the relining lantern-fly happens. sent3: if the allergenicness does not occur then the fact that the ballup and the mud-brickness happens does not hold. sent4: if the mud-brickness does not occur the fact that the ballup but not the welding destroyer occurs is false. sent5: if the crystallizing cadre does not occur then the unfavorableness does not occur. sent6: if the fact that both the burning and the isomericness occurs is incorrect the fact that the flashover does not occur hold. sent7: that the ballup does not occur causes that the welding destroyer happens and the rustication happens. sent8: that the cytologicalness occurs is prevented by that both the reorientation and the orientation happens. sent9: if the relining hexenbesen occurs the fact that both the non-semioticsness and the non-Sinhalaness happens does not hold. sent10: the fact that the horizontalness and the counterterrorness occurs does not hold if the fact that the rustication does not occur is not wrong. sent11: the fact that the glint happens and/or the relining hexenbesen does not occur is false if the immigration does not occur. sent12: the acneiformness does not occur. sent13: the welding difflugia happens. sent14: the miscarriage occurs. sent15: if that that both the horizontalness and the counterterrorness happens hold is wrong then the fact that the semioticsness does not occur is not incorrect. sent16: if the fact that the glint happens and/or the relining hexenbesen does not occur is not true then the feminine does not occur. sent17: the pauperization does not occur. sent18: that the immigration does not occur and the crustaceousness does not occur is triggered by that the Sinhalaness happens. sent19: the fact that the cubistness does not occur is not wrong. sent20: that the mud-brickness does not occur is caused by that the allergenicness happens and the relining lantern-fly occurs. sent21: if the glint does not occur then the relining hexenbesen occurs. sent22: the State occurs. sent23: the feminine happens. sent24: that the linkage occurs hold. sent25: the rustication does not occur if that the ballup but not the welding destroyer occurs does not hold.
void -> assump1: Let's assume that the Sinhalaness occurs.; sent18 & assump1 -> int1: the fact that the immigration does not occur and the crustaceousness does not occur is true.; int1 -> int2: the immigration does not occur.; int2 & sent11 -> int3: that the glint occurs or the relining hexenbesen does not occur or both does not hold.; int3 & sent16 -> int4: the feminine does not occur.; int4 & sent23 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the Sinhalaness does not occur is not false.; sent20 & sent2 -> int7: the mud-brickness does not occur.; sent4 & int7 -> int8: the fact that the ballup but not the welding destroyer happens is false.; sent25 & int8 -> int9: the rustication does not occur.; sent10 & int9 -> int10: that both the horizontalness and the counterterrorness happens is not right.; sent15 & int10 -> int11: the semioticsness does not occur.; int6 & int11 -> hypothesis;
that both the non-semioticsness and the non-Sinhalaness happens is incorrect.
$hypothesis$ = the non-semioticsness and the non-Sinhalaness occurs. ; $context$ = sent1: the glint does not occur and the feminine does not occur if the horizontal does not occur. sent2: both the allergenicness and the relining lantern-fly happens. sent3: if the allergenicness does not occur then the fact that the ballup and the mud-brickness happens does not hold. sent4: if the mud-brickness does not occur the fact that the ballup but not the welding destroyer occurs is false. sent5: if the crystallizing cadre does not occur then the unfavorableness does not occur. sent6: if the fact that both the burning and the isomericness occurs is incorrect the fact that the flashover does not occur hold. sent7: that the ballup does not occur causes that the welding destroyer happens and the rustication happens. sent8: that the cytologicalness occurs is prevented by that both the reorientation and the orientation happens. sent9: if the relining hexenbesen occurs the fact that both the non-semioticsness and the non-Sinhalaness happens does not hold. sent10: the fact that the horizontalness and the counterterrorness occurs does not hold if the fact that the rustication does not occur is not wrong. sent11: the fact that the glint happens and/or the relining hexenbesen does not occur is false if the immigration does not occur. sent12: the acneiformness does not occur. sent13: the welding difflugia happens. sent14: the miscarriage occurs. sent15: if that that both the horizontalness and the counterterrorness happens hold is wrong then the fact that the semioticsness does not occur is not incorrect. sent16: if the fact that the glint happens and/or the relining hexenbesen does not occur is not true then the feminine does not occur. sent17: the pauperization does not occur. sent18: that the immigration does not occur and the crustaceousness does not occur is triggered by that the Sinhalaness happens. sent19: the fact that the cubistness does not occur is not wrong. sent20: that the mud-brickness does not occur is caused by that the allergenicness happens and the relining lantern-fly occurs. sent21: if the glint does not occur then the relining hexenbesen occurs. sent22: the State occurs. sent23: the feminine happens. sent24: that the linkage occurs hold. sent25: the rustication does not occur if that the ballup but not the welding destroyer occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the Sinhalaness occurs.; sent18 & assump1 -> int1: the fact that the immigration does not occur and the crustaceousness does not occur is true.; int1 -> int2: the immigration does not occur.; int2 & sent11 -> int3: that the glint occurs or the relining hexenbesen does not occur or both does not hold.; int3 & sent16 -> int4: the feminine does not occur.; int4 & sent23 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the Sinhalaness does not occur is not false.; sent20 & sent2 -> int7: the mud-brickness does not occur.; sent4 & int7 -> int8: the fact that the ballup but not the welding destroyer happens is false.; sent25 & int8 -> int9: the rustication does not occur.; sent10 & int9 -> int10: that both the horizontalness and the counterterrorness happens is not right.; sent15 & int10 -> int11: the semioticsness does not occur.; int6 & int11 -> hypothesis; __PROVED__