not the sliming concertina but the drinking occurs if the soliciting occurs.
sent1: the underwriting Tylenchus occurs. sent2: that the underwriting Tylenchus occurs triggers that not the copying but the neuropsychologicalness happens. sent3: the appointment occurs. sent4: that the asterismalness happens is prevented by that the tugging occurs and/or the impasto happens. sent5: the extending plonk prevents that the drinking does not occur. sent6: the tug does not occur. sent7: the underwriting strategist happens and/or the underwriting effleurage occurs. sent8: the affinity occurs. sent9: the Chippendale occurs. sent10: the pop-fly occurs. sent11: the hatting yields that both the non-unorthodoxness and the souring occurs. sent12: the worthlessness does not occur. sent13: the underwriting itineration happens. sent14: if the tickle occurs then not the sliming motivation but the parrying happens. sent15: that the extending plonk happens is correct.
void -> assump1: Let's assume that the soliciting happens.; assump1 -> int1: the pop-fly or the soliciting or both happens.; sent5 & sent15 -> int2: the drinking occurs.;
$hypothesis$ = not the sliming concertina but the drinking occurs if the soliciting occurs. ; $context$ = sent1: the underwriting Tylenchus occurs. sent2: that the underwriting Tylenchus occurs triggers that not the copying but the neuropsychologicalness happens. sent3: the appointment occurs. sent4: that the asterismalness happens is prevented by that the tugging occurs and/or the impasto happens. sent5: the extending plonk prevents that the drinking does not occur. sent6: the tug does not occur. sent7: the underwriting strategist happens and/or the underwriting effleurage occurs. sent8: the affinity occurs. sent9: the Chippendale occurs. sent10: the pop-fly occurs. sent11: the hatting yields that both the non-unorthodoxness and the souring occurs. sent12: the worthlessness does not occur. sent13: the underwriting itineration happens. sent14: if the tickle occurs then not the sliming motivation but the parrying happens. sent15: that the extending plonk happens is correct. ; $proof$ = 
void -> assump1: Let's assume that the soliciting happens.; assump1 -> int1: the pop-fly or the soliciting or both happens.; sent5 & sent15 -> int2: the drinking occurs.; __UNKNOWN__