the national does not occur.
sent1: the maxillariness happens. sent2: the naiveness happens. sent3: the reflection occurs. sent4: if the detribalizing Buck occurs then the Best happens. sent5: the coeliacness does not occur. sent6: the picture occurs. sent7: if the springing does not occur then the obligatedness and the leewardness occurs. sent8: the indication does not occur. sent9: that the perturbation happens or the spring does not occur or both is correct if the leewardness does not occur. sent10: the perturbation happens if the springing occurs. sent11: the maintaining Broadway does not occur. sent12: the discharging happens. sent13: if the tackling occurs then the nationalness occurs. sent14: if the belemniticness happens then the boomerang occurs. sent15: the leeward happens. sent16: the leeward occurs if the springing does not occur. sent17: the tackling happens if the obligatedness happens. sent18: the maintaining sting happens and the detribalizing duffer happens. sent19: the perturbation does not occur if the indication does not occur. sent20: if the crib occurs then the detribalizing stringybark occurs. sent21: the mesolithicness does not occur. sent22: if the fact that the fender-bender occurs is not false then that the maintaining subordination occurs is correct.
void -> assump1: Let's assume that the spring happens.; sent10 & assump1 -> int1: the perturbation happens.; sent19 & sent8 -> int2: the perturbation does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the springing does not occur.; int4 & sent7 -> int5: the obligatedness occurs and the leewardness happens.; int5 -> int6: the obligating occurs.; int6 & sent17 -> int7: the tackle occurs.; int7 & sent13 -> hypothesis;
the nationalness does not occur.
$hypothesis$ = the national does not occur. ; $context$ = sent1: the maxillariness happens. sent2: the naiveness happens. sent3: the reflection occurs. sent4: if the detribalizing Buck occurs then the Best happens. sent5: the coeliacness does not occur. sent6: the picture occurs. sent7: if the springing does not occur then the obligatedness and the leewardness occurs. sent8: the indication does not occur. sent9: that the perturbation happens or the spring does not occur or both is correct if the leewardness does not occur. sent10: the perturbation happens if the springing occurs. sent11: the maintaining Broadway does not occur. sent12: the discharging happens. sent13: if the tackling occurs then the nationalness occurs. sent14: if the belemniticness happens then the boomerang occurs. sent15: the leeward happens. sent16: the leeward occurs if the springing does not occur. sent17: the tackling happens if the obligatedness happens. sent18: the maintaining sting happens and the detribalizing duffer happens. sent19: the perturbation does not occur if the indication does not occur. sent20: if the crib occurs then the detribalizing stringybark occurs. sent21: the mesolithicness does not occur. sent22: if the fact that the fender-bender occurs is not false then that the maintaining subordination occurs is correct. ; $proof$ = 
void -> assump1: Let's assume that the spring happens.; sent10 & assump1 -> int1: the perturbation happens.; sent19 & sent8 -> int2: the perturbation does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the springing does not occur.; int4 & sent7 -> int5: the obligatedness occurs and the leewardness happens.; int5 -> int6: the obligating occurs.; int6 & sent17 -> int7: the tackle occurs.; int7 & sent13 -> hypothesis; __DISPROVED__