the ectoparasite does distinguish.
sent1: the banjo is not a kind of a vote if the fact that the nightgown is trustful and/or does vote is not true. sent2: the banjo is rotatory. sent3: that the nightgown is malarial and is not non-subclavian is not true. sent4: that something is rotatory and does not house radon is not right if it is not a vote. sent5: the radon is not trustful. sent6: if the fact that the spectator is a deacon and does enfeeble nevirapine is wrong the gawker is not a benzocaine. sent7: the banjo is not trustful if the fact that the nightgown is a kind of malarial thing that is not subclavian is not correct. sent8: if that the nightgown does not distinguish is true then that it is trustful or a vote or both does not hold. sent9: the banjo is a kind of rotatory thing that does not vote. sent10: if the nightgown is malarial but it is not subclavian then the ectoparasite distinguishes. sent11: the provost is a kind of autosomal thing that is not a one-hundredth if the gawker is most. sent12: if the provost is autosomal and is not a one-hundredth the ectoparasite does not understand. sent13: if the nightgown is trustful the ectoparasite does not distinguish and is not a vote. sent14: something is both most and a defile if it is not a benzocaine.
void -> assump1: Let's assume that that the nightgown is malarial but not subclavian is not true.; sent7 & assump1 -> int1: the banjo is not trustful.;
the ectoparasite does not distinguish.
$hypothesis$ = the ectoparasite does distinguish. ; $context$ = sent1: the banjo is not a kind of a vote if the fact that the nightgown is trustful and/or does vote is not true. sent2: the banjo is rotatory. sent3: that the nightgown is malarial and is not non-subclavian is not true. sent4: that something is rotatory and does not house radon is not right if it is not a vote. sent5: the radon is not trustful. sent6: if the fact that the spectator is a deacon and does enfeeble nevirapine is wrong the gawker is not a benzocaine. sent7: the banjo is not trustful if the fact that the nightgown is a kind of malarial thing that is not subclavian is not correct. sent8: if that the nightgown does not distinguish is true then that it is trustful or a vote or both does not hold. sent9: the banjo is a kind of rotatory thing that does not vote. sent10: if the nightgown is malarial but it is not subclavian then the ectoparasite distinguishes. sent11: the provost is a kind of autosomal thing that is not a one-hundredth if the gawker is most. sent12: if the provost is autosomal and is not a one-hundredth the ectoparasite does not understand. sent13: if the nightgown is trustful the ectoparasite does not distinguish and is not a vote. sent14: something is both most and a defile if it is not a benzocaine. ; $proof$ = 
void -> assump1: Let's assume that that the nightgown is malarial but not subclavian is not true.; sent7 & assump1 -> int1: the banjo is not trustful.; __UNKNOWN__