the hypnotherapy happens or the PET occurs or both.
sent1: the hypnotherapy occurs if not the snicking lissomeness but the centripetalness happens. sent2: that the idolatry does not occur causes that the snicking lissomeness does not occur and the centripetalness happens. sent3: the bracteateness occurs. sent4: that the idolatry occurs brings about that not the Frenching picador but the Carthaginianness occurs. sent5: that both the scrimmage and the plotting sandstone occurs is not right if the snicking Black does not occur. sent6: the lode does not occur and the whiteouting occurs. sent7: the snicking Black does not occur. sent8: the plotting sandstone does not occur if that both the scrimmage and the plotting sandstone occurs does not hold. sent9: that the riblessness does not occur is triggered by that the idolatry and the plotting sandstone occurs. sent10: that the proliferating tormentor does not occur but the funicular occurs prevents the appealableness. sent11: the proliferating metronome happens. sent12: the fact that the greaterness occurs hold. sent13: the plotting sandstone occurs if not the Frenching picador but the Carthaginian occurs. sent14: that the idolatry happens and the plotting sandstone occurs is triggered by the non-centripetalness. sent15: the overloading does not occur and the homileticness occurs.
void -> assump1: Let's assume that that the idolatry occurs is not false.; sent4 & assump1 -> int1: not the Frenching picador but the Carthaginianness happens.; int1 & sent13 -> int2: the plotting sandstone happens.; sent5 & sent7 -> int3: the fact that both the scrimmaging and the plotting sandstone occurs does not hold.; sent8 & int3 -> int4: the plotting sandstone does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the idolatry does not occur.; int6 & sent2 -> int7: the snicking lissomeness does not occur and the centripetalness happens.; int7 & sent1 -> int8: the hypnotherapy happens.; int8 -> hypothesis;
the riblessness does not occur.
$hypothesis$ = the hypnotherapy happens or the PET occurs or both. ; $context$ = sent1: the hypnotherapy occurs if not the snicking lissomeness but the centripetalness happens. sent2: that the idolatry does not occur causes that the snicking lissomeness does not occur and the centripetalness happens. sent3: the bracteateness occurs. sent4: that the idolatry occurs brings about that not the Frenching picador but the Carthaginianness occurs. sent5: that both the scrimmage and the plotting sandstone occurs is not right if the snicking Black does not occur. sent6: the lode does not occur and the whiteouting occurs. sent7: the snicking Black does not occur. sent8: the plotting sandstone does not occur if that both the scrimmage and the plotting sandstone occurs does not hold. sent9: that the riblessness does not occur is triggered by that the idolatry and the plotting sandstone occurs. sent10: that the proliferating tormentor does not occur but the funicular occurs prevents the appealableness. sent11: the proliferating metronome happens. sent12: the fact that the greaterness occurs hold. sent13: the plotting sandstone occurs if not the Frenching picador but the Carthaginian occurs. sent14: that the idolatry happens and the plotting sandstone occurs is triggered by the non-centripetalness. sent15: the overloading does not occur and the homileticness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the idolatry occurs is not false.; sent4 & assump1 -> int1: not the Frenching picador but the Carthaginianness happens.; int1 & sent13 -> int2: the plotting sandstone happens.; sent5 & sent7 -> int3: the fact that both the scrimmaging and the plotting sandstone occurs does not hold.; sent8 & int3 -> int4: the plotting sandstone does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the idolatry does not occur.; int6 & sent2 -> int7: the snicking lissomeness does not occur and the centripetalness happens.; int7 & sent1 -> int8: the hypnotherapy happens.; int8 -> hypothesis; __PROVED__