the psychogenicness happens.
sent1: the flopping happens. sent2: the indulgence occurs. sent3: the non-integumentaryness is prevented by the allomerism. sent4: if that the grumbling lambrequin occurs hold the coaling happens. sent5: the pragmatic prevents the non-Togoleseness. sent6: the lexicographicness triggers that the transmogrification but not the senatorship occurs. sent7: the excise occurs. sent8: the Chianness occurs. sent9: if the goodness occurs the obliterating occurs. sent10: if the meningealness does not occur that the stationing and the coal occurs is not right. sent11: that the concessiveness occurs leads to that the grumbling lambrequin happens. sent12: the concessiveness occurs. sent13: the postganglionicness occurs if the displacing happens. sent14: if the coal occurs the psychogenicness occurs. sent15: the distinguishing happens. sent16: the wrestling Hirschsprung occurs. sent17: that the meningealness does not occur hold if the fact that the transmogrification does not occur is false. sent18: the nay prevents that the bodywork does not occur. sent19: if the intrauterineness does not occur then both the lexicographicness and the Death occurs. sent20: if that the stationing occurs and the coaling occurs is false then the coaling does not occur.
sent11 & sent12 -> int1: the grumbling lambrequin happens.; int1 & sent4 -> int2: the coaling occurs.; int2 & sent14 -> hypothesis;
the psychogenicness does not occur.
$hypothesis$ = the psychogenicness happens. ; $context$ = sent1: the flopping happens. sent2: the indulgence occurs. sent3: the non-integumentaryness is prevented by the allomerism. sent4: if that the grumbling lambrequin occurs hold the coaling happens. sent5: the pragmatic prevents the non-Togoleseness. sent6: the lexicographicness triggers that the transmogrification but not the senatorship occurs. sent7: the excise occurs. sent8: the Chianness occurs. sent9: if the goodness occurs the obliterating occurs. sent10: if the meningealness does not occur that the stationing and the coal occurs is not right. sent11: that the concessiveness occurs leads to that the grumbling lambrequin happens. sent12: the concessiveness occurs. sent13: the postganglionicness occurs if the displacing happens. sent14: if the coal occurs the psychogenicness occurs. sent15: the distinguishing happens. sent16: the wrestling Hirschsprung occurs. sent17: that the meningealness does not occur hold if the fact that the transmogrification does not occur is false. sent18: the nay prevents that the bodywork does not occur. sent19: if the intrauterineness does not occur then both the lexicographicness and the Death occurs. sent20: if that the stationing occurs and the coaling occurs is false then the coaling does not occur. ; $proof$ = 
sent11 & sent12 -> int1: the grumbling lambrequin happens.; int1 & sent4 -> int2: the coaling occurs.; int2 & sent14 -> hypothesis; __PROVED__