the noncurrentness does not occur.
sent1: if the automaticness does not occur then the taekwondo occurs and the pleomorphicness occurs. sent2: that the hedgehoping and the intracranialness occurs brings about that the unquestionableness does not occur. sent3: if the unquestionableness does not occur that the non-boustrophedonicness or the xenogeneicness or both happens is not true. sent4: both the non-xenogeneicness and the anorthiticness happens. sent5: the noncurrentness is prevented by that the choppiness and the taekwondo happens. sent6: that the stripping occurs leads to that the choppiness occurs. sent7: if the eightsome does not occur then the fact that the expressibleness occurs and/or the determining does not occur is wrong. sent8: either the expressibleness occurs or the determining happens or both. sent9: the hedgehoping happens if the kenneling warship occurs. sent10: the pleomorphicness happens. sent11: the expressibleness happens. sent12: if the fact that both the xenogeneicness and the anorthiticness occurs hold the automaticness does not occur. sent13: the fact that the scald happens is true. sent14: that both the pleomorphicness and the automatic happens is caused by that the anorthiticness does not occur. sent15: that the stripping happens is correct if the eightsome happens. sent16: the anorthiticness does not occur if that either the non-boustrophedonicness or the xenogeneicness or both occurs is not right. sent17: that the xenogeneicness does not occur but the anorthiticness occurs results in the non-automaticness. sent18: if the scalding happens then the kenneling warship occurs. sent19: the intracranialness occurs if either the intracranialness happens or the someness does not occur or both.
void -> assump1: Let's assume that the eightsome does not occur.; sent7 & assump1 -> int1: that the expressibleness occurs or the determining does not occur or both does not hold.; sent11 -> int2: the expressibleness happens or the determining does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the eightsome happens.; int4 & sent15 -> int5: the strip happens.; int5 & sent6 -> int6: the choppiness occurs.; sent17 & sent4 -> int7: the automatic does not occur.; sent1 & int7 -> int8: the taekwondo and the pleomorphicness occurs.; int8 -> int9: the taekwondo occurs.; int6 & int9 -> int10: the choppiness happens and the taekwondo happens.; int10 & sent5 -> hypothesis;
the noncurrentness occurs.
sent18 & sent13 -> int11: the kenneling warship happens.; sent9 & int11 -> int12: the hedgehoping happens.;
$hypothesis$ = the noncurrentness does not occur. ; $context$ = sent1: if the automaticness does not occur then the taekwondo occurs and the pleomorphicness occurs. sent2: that the hedgehoping and the intracranialness occurs brings about that the unquestionableness does not occur. sent3: if the unquestionableness does not occur that the non-boustrophedonicness or the xenogeneicness or both happens is not true. sent4: both the non-xenogeneicness and the anorthiticness happens. sent5: the noncurrentness is prevented by that the choppiness and the taekwondo happens. sent6: that the stripping occurs leads to that the choppiness occurs. sent7: if the eightsome does not occur then the fact that the expressibleness occurs and/or the determining does not occur is wrong. sent8: either the expressibleness occurs or the determining happens or both. sent9: the hedgehoping happens if the kenneling warship occurs. sent10: the pleomorphicness happens. sent11: the expressibleness happens. sent12: if the fact that both the xenogeneicness and the anorthiticness occurs hold the automaticness does not occur. sent13: the fact that the scald happens is true. sent14: that both the pleomorphicness and the automatic happens is caused by that the anorthiticness does not occur. sent15: that the stripping happens is correct if the eightsome happens. sent16: the anorthiticness does not occur if that either the non-boustrophedonicness or the xenogeneicness or both occurs is not right. sent17: that the xenogeneicness does not occur but the anorthiticness occurs results in the non-automaticness. sent18: if the scalding happens then the kenneling warship occurs. sent19: the intracranialness occurs if either the intracranialness happens or the someness does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the eightsome does not occur.; sent7 & assump1 -> int1: that the expressibleness occurs or the determining does not occur or both does not hold.; sent11 -> int2: the expressibleness happens or the determining does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the eightsome happens.; int4 & sent15 -> int5: the strip happens.; int5 & sent6 -> int6: the choppiness occurs.; sent17 & sent4 -> int7: the automatic does not occur.; sent1 & int7 -> int8: the taekwondo and the pleomorphicness occurs.; int8 -> int9: the taekwondo occurs.; int6 & int9 -> int10: the choppiness happens and the taekwondo happens.; int10 & sent5 -> hypothesis; __PROVED__