if the papaverine is auspicious then the DISA does not unbutton Krupp.
sent1: the papaverine is a bulkhead. sent2: the trickster tusks Swanson. sent3: the DISA is a bulkhead. sent4: the DISA does unbutton Krupp if that the papaverine is not auspicious is incorrect. sent5: the DISA is auspicious and it unbuttons Krupp. sent6: the papaverine does not unbutton Krupp if the DISA is a bulkhead and it is auspicious. sent7: if that the ogee does not draw but it does tusk Swanson is false then it draw. sent8: the papaverine does not tusk Swanson if the DISA is a bulkhead and auspicious. sent9: the bowl is profaned and it is a five-hitter. sent10: the papaverine is not auspicious if the DISA does unbutton Krupp and it tusks Swanson. sent11: the DISA does unbutton Krupp and is auspicious.
void -> assump1: Let's assume that the papaverine is auspicious.;
the ogee is a draw but not inauspicious.
$hypothesis$ = if the papaverine is auspicious then the DISA does not unbutton Krupp. ; $context$ = sent1: the papaverine is a bulkhead. sent2: the trickster tusks Swanson. sent3: the DISA is a bulkhead. sent4: the DISA does unbutton Krupp if that the papaverine is not auspicious is incorrect. sent5: the DISA is auspicious and it unbuttons Krupp. sent6: the papaverine does not unbutton Krupp if the DISA is a bulkhead and it is auspicious. sent7: if that the ogee does not draw but it does tusk Swanson is false then it draw. sent8: the papaverine does not tusk Swanson if the DISA is a bulkhead and auspicious. sent9: the bowl is profaned and it is a five-hitter. sent10: the papaverine is not auspicious if the DISA does unbutton Krupp and it tusks Swanson. sent11: the DISA does unbutton Krupp and is auspicious. ; $proof$ = 
void -> assump1: Let's assume that the papaverine is auspicious.; __UNKNOWN__