the settling does not occur.
sent1: if the inflating lather does not occur then the Peloponnesianness does not occur and the deploying does not occur. sent2: the Peloponnesianness happens. sent3: if the fact that the inflating elan does not occur is not incorrect then that the misdirection and the audio-lingualness happens does not hold. sent4: that the inflating Chevalier does not occur but the hooking scrip occurs results in the non-Seljukness. sent5: the inflating lather does not occur and the clouding beanstalk does not occur if the baccateness happens. sent6: if the inflating Chevalier occurs the wheeling does not occur. sent7: that both the inflating Chevalier and the hooking scrip happens triggers that the Seljukness does not occur. sent8: the downpour does not occur but the Peloponnesianness happens. sent9: the settling does not occur if the hooking Lolium does not occur and the downpour does not occur. sent10: the fact that both the inflating Chevalier and the hooking scrip happens does not hold. sent11: if the misdirection does not occur the fact that the inflating elan does not occur and the audio-lingualness does not occur is incorrect. sent12: the wheeling does not occur if that the inflating Chevalier does not occur and the hooking scrip happens is not correct. sent13: the hooking Lolium does not occur if the fact that the misdirection occurs and the audio-lingualness happens is incorrect. sent14: the hooking Lolium does not occur if the audio-lingualness does not occur. sent15: the Seljuk occurs. sent16: the settling occurs if the Seljukness does not occur and the wheeling does not occur. sent17: that if the Peloponnesianness does not occur then the fact that that either the downpour happens or the hooking Lolium occurs or both is not false is not correct is true. sent18: if that the downpour and/or the hooking Lolium happens does not hold then the misdirection does not occur. sent19: the septalness does not occur if the fact that not the Seljukness but the septalness occurs is not true.
void -> assump1: Let's assume that the inflating Chevalier does not occur and the hooking scrip happens.; sent4 & assump1 -> int1: the Seljuk does not occur.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the inflating Chevalier does not occur but the hooking scrip happens does not hold.; int3 & sent12 -> int4: the wheeling does not occur.; sent8 -> int5: that the downpour does not occur hold.;
the settling occurs.
$hypothesis$ = the settling does not occur. ; $context$ = sent1: if the inflating lather does not occur then the Peloponnesianness does not occur and the deploying does not occur. sent2: the Peloponnesianness happens. sent3: if the fact that the inflating elan does not occur is not incorrect then that the misdirection and the audio-lingualness happens does not hold. sent4: that the inflating Chevalier does not occur but the hooking scrip occurs results in the non-Seljukness. sent5: the inflating lather does not occur and the clouding beanstalk does not occur if the baccateness happens. sent6: if the inflating Chevalier occurs the wheeling does not occur. sent7: that both the inflating Chevalier and the hooking scrip happens triggers that the Seljukness does not occur. sent8: the downpour does not occur but the Peloponnesianness happens. sent9: the settling does not occur if the hooking Lolium does not occur and the downpour does not occur. sent10: the fact that both the inflating Chevalier and the hooking scrip happens does not hold. sent11: if the misdirection does not occur the fact that the inflating elan does not occur and the audio-lingualness does not occur is incorrect. sent12: the wheeling does not occur if that the inflating Chevalier does not occur and the hooking scrip happens is not correct. sent13: the hooking Lolium does not occur if the fact that the misdirection occurs and the audio-lingualness happens is incorrect. sent14: the hooking Lolium does not occur if the audio-lingualness does not occur. sent15: the Seljuk occurs. sent16: the settling occurs if the Seljukness does not occur and the wheeling does not occur. sent17: that if the Peloponnesianness does not occur then the fact that that either the downpour happens or the hooking Lolium occurs or both is not false is not correct is true. sent18: if that the downpour and/or the hooking Lolium happens does not hold then the misdirection does not occur. sent19: the septalness does not occur if the fact that not the Seljukness but the septalness occurs is not true. ; $proof$ = 
void -> assump1: Let's assume that the inflating Chevalier does not occur and the hooking scrip happens.; sent4 & assump1 -> int1: the Seljuk does not occur.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the inflating Chevalier does not occur but the hooking scrip happens does not hold.; int3 & sent12 -> int4: the wheeling does not occur.; sent8 -> int5: that the downpour does not occur hold.; __UNKNOWN__