if that the neuralgicness occurs hold then the suborning Methuselah does not occur.
sent1: the hook happens. sent2: the unimodalness occurs if the terminalness occurs. sent3: if the unexpendableness and the epigastricness occurs then the whoopee does not occur. sent4: the fact that the suborning Westernization and the non-phlegminess happens does not hold. sent5: that the suborning Methuselah does not occur is triggered by that both the banging and the neuralgicness happens. sent6: the suborning Methuselah occurs. sent7: if that the lobbing quackgrass does not occur and the suborning astronomer does not occur is not true then the banging happens. sent8: the fact that both the triumphalness and the lobbing overshot happens hold. sent9: that the confection happens and the lobbing Bohemia occurs prevents that the fettering Venetian happens. sent10: the fact that the lobbing quackgrass occurs but the suborning astronomer does not occur is not true. sent11: the brachialness does not occur and the venography does not occur. sent12: the neuralgicness prevents that the suborning Methuselah does not occur. sent13: the suborning Methuselah happens if the banging and the neuralgicness occurs. sent14: the odyssey does not occur if the birling happens. sent15: the prosthodonticsness does not occur and the exposure does not occur.
void -> assump2: Let's assume that the lobbing quackgrass does not occur and the suborning astronomer does not occur.; assump2 -> int1: the suborning astronomer does not occur.;
$hypothesis$ = if that the neuralgicness occurs hold then the suborning Methuselah does not occur. ; $context$ = sent1: the hook happens. sent2: the unimodalness occurs if the terminalness occurs. sent3: if the unexpendableness and the epigastricness occurs then the whoopee does not occur. sent4: the fact that the suborning Westernization and the non-phlegminess happens does not hold. sent5: that the suborning Methuselah does not occur is triggered by that both the banging and the neuralgicness happens. sent6: the suborning Methuselah occurs. sent7: if that the lobbing quackgrass does not occur and the suborning astronomer does not occur is not true then the banging happens. sent8: the fact that both the triumphalness and the lobbing overshot happens hold. sent9: that the confection happens and the lobbing Bohemia occurs prevents that the fettering Venetian happens. sent10: the fact that the lobbing quackgrass occurs but the suborning astronomer does not occur is not true. sent11: the brachialness does not occur and the venography does not occur. sent12: the neuralgicness prevents that the suborning Methuselah does not occur. sent13: the suborning Methuselah happens if the banging and the neuralgicness occurs. sent14: the odyssey does not occur if the birling happens. sent15: the prosthodonticsness does not occur and the exposure does not occur. ; $proof$ = 
void -> assump2: Let's assume that the lobbing quackgrass does not occur and the suborning astronomer does not occur.; assump2 -> int1: the suborning astronomer does not occur.; __UNKNOWN__