the fact that if the shallowness happens then the liveliness occurs is not right.
sent1: the siding occurs or the prostitution occurs or both. sent2: the Chicago occurs if the alert does not occur. sent3: the azidoness does not occur if either the headlock happens or the running Atakapa occurs or both. sent4: that the scenting hewer happens and/or the saturating happens prevents the shallowing. sent5: the disappearing happens if the hatlessness occurs. sent6: the Sinhalaness happens. sent7: the arthromericness occurs. sent8: that the adjoining happens is triggered by that the bubalineness occurs. sent9: the cracking happens. sent10: the shallowing does not occur if the scenting hewer occurs. sent11: the compelling perniciousness does not occur if the scenting Molotov happens. sent12: that the saturating does not occur yields the liveliness. sent13: the balleticness occurs. sent14: the compelling hamster happens. sent15: the volition happens. sent16: if the culling happens the liveliness does not occur. sent17: that the saturating but not the shallowing occurs is wrong if the liveliness does not occur. sent18: the servicing checkered occurs. sent19: if the fact that the scenting hewer occurs is correct the obsessing happens. sent20: if the scenting hewer occurs or the saturating happens or both the shallowness occurs.
void -> assump2: Let's assume that that the shallowing occurs is correct.; void -> assump1: Let's assume that the saturating happens.; assump1 -> int1: the scenting hewer happens or the saturating occurs or both.; sent4 & int1 -> int2: the shallowing does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saturating does not occur.; sent12 & int4 -> int5: the liveliness happens.; [assump2] & int5 -> hypothesis;
the obsessing happens.
$hypothesis$ = the fact that if the shallowness happens then the liveliness occurs is not right. ; $context$ = sent1: the siding occurs or the prostitution occurs or both. sent2: the Chicago occurs if the alert does not occur. sent3: the azidoness does not occur if either the headlock happens or the running Atakapa occurs or both. sent4: that the scenting hewer happens and/or the saturating happens prevents the shallowing. sent5: the disappearing happens if the hatlessness occurs. sent6: the Sinhalaness happens. sent7: the arthromericness occurs. sent8: that the adjoining happens is triggered by that the bubalineness occurs. sent9: the cracking happens. sent10: the shallowing does not occur if the scenting hewer occurs. sent11: the compelling perniciousness does not occur if the scenting Molotov happens. sent12: that the saturating does not occur yields the liveliness. sent13: the balleticness occurs. sent14: the compelling hamster happens. sent15: the volition happens. sent16: if the culling happens the liveliness does not occur. sent17: that the saturating but not the shallowing occurs is wrong if the liveliness does not occur. sent18: the servicing checkered occurs. sent19: if the fact that the scenting hewer occurs is correct the obsessing happens. sent20: if the scenting hewer occurs or the saturating happens or both the shallowness occurs. ; $proof$ = 
void -> assump2: Let's assume that that the shallowing occurs is correct.; void -> assump1: Let's assume that the saturating happens.; assump1 -> int1: the scenting hewer happens or the saturating occurs or both.; sent4 & int1 -> int2: the shallowing does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saturating does not occur.; sent12 & int4 -> int5: the liveliness happens.; [assump2] & int5 -> hypothesis; __DISPROVED__