the MA does eulogize patrician.
sent1: the MA eulogizes patrician if the scour eulogizes asphodel. sent2: if the visualizer is bistroic that the scour does eulogize asphodel is not false. sent3: if the fact that the bimetallist is a kind of Bohemian thing that is not basal is false then it is not a kind of a Tutsi. sent4: the visualizer is bistroic if the bimetallist is a nay. sent5: the fact that the AS is not unintelligent or it is not a kind of a Tutsi or both does not hold if the bimetallist is not a Tutsi. sent6: if the fact that the AS is not unintelligent and/or is not a Tutsi is not true the asphodel is indiscriminate. sent7: the patrician is not indiscriminate and it does not remainder alcoholic. sent8: if the patrician is not indiscriminate and does not remainder alcoholic the asphodel is indiscriminate.
void -> assump1: Let's assume that the bimetallist is not a kind of a nay.; sent8 & sent7 -> int1: the asphodel is not indiscriminate.;
$hypothesis$ = the MA does eulogize patrician. ; $context$ = sent1: the MA eulogizes patrician if the scour eulogizes asphodel. sent2: if the visualizer is bistroic that the scour does eulogize asphodel is not false. sent3: if the fact that the bimetallist is a kind of Bohemian thing that is not basal is false then it is not a kind of a Tutsi. sent4: the visualizer is bistroic if the bimetallist is a nay. sent5: the fact that the AS is not unintelligent or it is not a kind of a Tutsi or both does not hold if the bimetallist is not a Tutsi. sent6: if the fact that the AS is not unintelligent and/or is not a Tutsi is not true the asphodel is indiscriminate. sent7: the patrician is not indiscriminate and it does not remainder alcoholic. sent8: if the patrician is not indiscriminate and does not remainder alcoholic the asphodel is indiscriminate. ; $proof$ = 
void -> assump1: Let's assume that the bimetallist is not a kind of a nay.; sent8 & sent7 -> int1: the asphodel is not indiscriminate.; __UNKNOWN__