the pediatricness occurs.
sent1: the poulticing auscultation does not occur if the caravan occurs. sent2: that the multiplying flesh happens prevents that the avocation does not occur. sent3: the fact that the seminalness but not the conquerableness happens does not hold if the avocation happens. sent4: if the defiance does not occur the fact that both the non-seminalness and the deniableness happens is wrong. sent5: if the defiance occurs and the patronaging lambrequin happens then that the pediatricness does not occur hold. sent6: the stinking prevents that the shelter does not occur. sent7: if that not the stinking but the multiplying flesh happens does not hold that the defiance happens is not wrong. sent8: the patronaging maid does not occur but the multiplying Lisu happens. sent9: if that the seminalness and the unconquerableness occurs is not correct the undeniableness does not occur. sent10: the defiance does not occur if the pediatricness does not occur and the patronaging lambrequin does not occur. sent11: the fact that the patronaging lambrequin occurs hold. sent12: the detour does not occur if the multiplying jasper and the nonreciprocalness occurs. sent13: the fact that the trembles occurs and the poulticing yips happens is not correct. sent14: not the avocation but the conquerableness occurs if the seminalness does not occur. sent15: the undeniableness happens. sent16: the fact that both the Uniateness and the sheltering occurs is not right if the cautery happens.
void -> assump1: Let's assume that the stinking does not occur and the multiplying flesh occurs.; assump1 -> int1: the multiplying flesh happens.; int1 & sent2 -> int2: the avocation occurs.; int2 & sent3 -> int3: that the seminalness but not the conquerableness happens is false.; int3 & sent9 -> int4: the fact that the undeniableness does not occur is true.; int4 & sent15 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the stinking does not occur and the multiplying flesh occurs does not hold.; int6 & sent7 -> int7: the defiance occurs.; int7 & sent11 -> int8: both the defiance and the patronaging lambrequin occurs.; int8 & sent5 -> hypothesis;
that the sheltering happens is not false.
$hypothesis$ = the pediatricness occurs. ; $context$ = sent1: the poulticing auscultation does not occur if the caravan occurs. sent2: that the multiplying flesh happens prevents that the avocation does not occur. sent3: the fact that the seminalness but not the conquerableness happens does not hold if the avocation happens. sent4: if the defiance does not occur the fact that both the non-seminalness and the deniableness happens is wrong. sent5: if the defiance occurs and the patronaging lambrequin happens then that the pediatricness does not occur hold. sent6: the stinking prevents that the shelter does not occur. sent7: if that not the stinking but the multiplying flesh happens does not hold that the defiance happens is not wrong. sent8: the patronaging maid does not occur but the multiplying Lisu happens. sent9: if that the seminalness and the unconquerableness occurs is not correct the undeniableness does not occur. sent10: the defiance does not occur if the pediatricness does not occur and the patronaging lambrequin does not occur. sent11: the fact that the patronaging lambrequin occurs hold. sent12: the detour does not occur if the multiplying jasper and the nonreciprocalness occurs. sent13: the fact that the trembles occurs and the poulticing yips happens is not correct. sent14: not the avocation but the conquerableness occurs if the seminalness does not occur. sent15: the undeniableness happens. sent16: the fact that both the Uniateness and the sheltering occurs is not right if the cautery happens. ; $proof$ = 
void -> assump1: Let's assume that the stinking does not occur and the multiplying flesh occurs.; assump1 -> int1: the multiplying flesh happens.; int1 & sent2 -> int2: the avocation occurs.; int2 & sent3 -> int3: that the seminalness but not the conquerableness happens is false.; int3 & sent9 -> int4: the fact that the undeniableness does not occur is true.; int4 & sent15 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the stinking does not occur and the multiplying flesh occurs does not hold.; int6 & sent7 -> int7: the defiance occurs.; int7 & sent11 -> int8: both the defiance and the patronaging lambrequin occurs.; int8 & sent5 -> hypothesis; __DISPROVED__