that the leg does not occur and the outage does not occur if the servileness occurs is not true.
sent1: the outage happens if the infiniteness occurs. sent2: the erythroidness is prevented by that the strangeness and the self-discipline occurs. sent3: if that the exergonicness and/or the non-unquietness occurs hold then the unquietness does not occur. sent4: that the nonappearance does not occur and/or the non-tinniness results in that the tinniness does not occur. sent5: the trachealness and the administration happens. sent6: the confining armyworm occurs. sent7: the sociologicalness does not occur. sent8: that the nonappearance happens and the confining slicing happens is incorrect if the unquietness does not occur. sent9: that the sinistralness does not occur and the diffusion does not occur is not false. sent10: the device does not occur. sent11: the confining abandonment does not occur. sent12: if the fact that not the infiniteness but the outage happens does not hold then the outage does not occur. sent13: the Pakistani occurs. sent14: the nonappearance does not occur if the fact that the nonappearance occurs and the confining slicing happens is not correct. sent15: that the confining forehanded and the non-Pakistaniness happens is brought about by that the servileness does not occur. sent16: if the confining abandonment happens then the outage happens. sent17: if the tinniness does not occur then either the confining abandonment or the infiniteness or both occurs. sent18: the fact that the infiniteness does not occur but the outage occurs is not correct if the confining abandonment does not occur. sent19: that the Pakistani occurs and the servileness happens prevents that the leg occurs. sent20: the laparotomy does not occur. sent21: the curb does not occur.
void -> assump1: Let's assume that the servileness occurs.; sent13 & assump1 -> int1: both the Pakistani and the servileness occurs.; int1 & sent19 -> int2: the leg does not occur.; sent18 & sent11 -> int3: the fact that not the infiniteness but the outage occurs is not correct.; sent12 & int3 -> int4: the outage does not occur.; int2 & int4 -> int5: the leg does not occur and the outage does not occur.; [assump1] & int5 -> hypothesis;
the confining forehanded happens.
$hypothesis$ = that the leg does not occur and the outage does not occur if the servileness occurs is not true. ; $context$ = sent1: the outage happens if the infiniteness occurs. sent2: the erythroidness is prevented by that the strangeness and the self-discipline occurs. sent3: if that the exergonicness and/or the non-unquietness occurs hold then the unquietness does not occur. sent4: that the nonappearance does not occur and/or the non-tinniness results in that the tinniness does not occur. sent5: the trachealness and the administration happens. sent6: the confining armyworm occurs. sent7: the sociologicalness does not occur. sent8: that the nonappearance happens and the confining slicing happens is incorrect if the unquietness does not occur. sent9: that the sinistralness does not occur and the diffusion does not occur is not false. sent10: the device does not occur. sent11: the confining abandonment does not occur. sent12: if the fact that not the infiniteness but the outage happens does not hold then the outage does not occur. sent13: the Pakistani occurs. sent14: the nonappearance does not occur if the fact that the nonappearance occurs and the confining slicing happens is not correct. sent15: that the confining forehanded and the non-Pakistaniness happens is brought about by that the servileness does not occur. sent16: if the confining abandonment happens then the outage happens. sent17: if the tinniness does not occur then either the confining abandonment or the infiniteness or both occurs. sent18: the fact that the infiniteness does not occur but the outage occurs is not correct if the confining abandonment does not occur. sent19: that the Pakistani occurs and the servileness happens prevents that the leg occurs. sent20: the laparotomy does not occur. sent21: the curb does not occur. ; $proof$ = 
void -> assump1: Let's assume that the servileness occurs.; sent13 & assump1 -> int1: both the Pakistani and the servileness occurs.; int1 & sent19 -> int2: the leg does not occur.; sent18 & sent11 -> int3: the fact that not the infiniteness but the outage occurs is not correct.; sent12 & int3 -> int4: the outage does not occur.; int2 & int4 -> int5: the leg does not occur and the outage does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__