the matador does ignore referendum.
sent1: the eft does not realign if something is not a kind of a dazed. sent2: if there exists something such that it does not realign the whippoorwill is a enantiomorph and it is appropriative. sent3: the fact that the silly realigns hold if there is something such that it is not affixal. sent4: if that the matador does not ignore referendum hold the fact that the silly is affixal and it is a dazed does not hold. sent5: that the whippoorwill is a enantiomorph hold. sent6: something realigns. sent7: that the chairlift is not nonprofessional hold. sent8: the eft does not realign if there exists something such that the fact that it is affixal thing that is a dazed is false. sent9: the fact that the silly is appropriative thing that is a enantiomorph does not hold if the eft is not nonprofessional.
void -> assump1: Let's assume that the matador does not ignore referendum.; sent4 & assump1 -> int1: that the silly is affixal thing that is a kind of a dazed is false.; int1 -> int2: there exists something such that the fact that it is both affixal and a dazed is not true.; int2 & sent8 -> int3: the eft does not realign.; int3 -> int4: there exists something such that it does not realign.; int4 & sent2 -> int5: the whippoorwill is a enantiomorph and is appropriative.; int5 -> int6: the fact that the whippoorwill is not non-appropriative is correct.;
the matador does not ignore referendum.
$hypothesis$ = the matador does ignore referendum. ; $context$ = sent1: the eft does not realign if something is not a kind of a dazed. sent2: if there exists something such that it does not realign the whippoorwill is a enantiomorph and it is appropriative. sent3: the fact that the silly realigns hold if there is something such that it is not affixal. sent4: if that the matador does not ignore referendum hold the fact that the silly is affixal and it is a dazed does not hold. sent5: that the whippoorwill is a enantiomorph hold. sent6: something realigns. sent7: that the chairlift is not nonprofessional hold. sent8: the eft does not realign if there exists something such that the fact that it is affixal thing that is a dazed is false. sent9: the fact that the silly is appropriative thing that is a enantiomorph does not hold if the eft is not nonprofessional. ; $proof$ = 
void -> assump1: Let's assume that the matador does not ignore referendum.; sent4 & assump1 -> int1: that the silly is affixal thing that is a kind of a dazed is false.; int1 -> int2: there exists something such that the fact that it is both affixal and a dazed is not true.; int2 & sent8 -> int3: the eft does not realign.; int3 -> int4: there exists something such that it does not realign.; int4 & sent2 -> int5: the whippoorwill is a enantiomorph and is appropriative.; int5 -> int6: the fact that the whippoorwill is not non-appropriative is correct.; __UNKNOWN__