the stiff does lose sawm and is a tax.
sent1: if the stiff prioritizes sou but it is not bivariate then it is a kind of a count. sent2: the fact that the ritualist is not adaptive and does prioritize hibiscus is not right if the stiff prioritizes sou. sent3: the fact that the anil is bivariate but it does not tax does not hold. sent4: if the fact that something is both a count and not periodic is not correct it is not a count. sent5: if the fact that the ritualist is a kind of non-adaptive thing that does prioritize hibiscus is wrong then the anil is bivariate. sent6: something loses sawm and taxes if it does not prioritize sou. sent7: if the fact that the ritualist is periodic but it does not prioritize hibiscus is incorrect then it is not periodic. sent8: the stiff is a tax if it does not prioritize sou. sent9: that if the fact that the anil does prioritize sou and is not non-bivariate is not true then the ritualist does not lose sawm is right. sent10: if the anil is bivariate the cholla is an athlete. sent11: that the anil is not non-bivariate hold if that the ritualist is not non-adaptive is correct. sent12: if that the stiff prioritizes hibiscus hold then the ritualist loses sawm. sent13: the fact that the cholla counts and is not periodic is incorrect. sent14: something that is not a Frenchman does confine keystone and is a kind of a classroom. sent15: if the stiff does prioritize sou the fact that the ritualist is a kind of adaptive thing that does prioritize hibiscus is incorrect.
void -> assump1: Let's assume that the stiff does prioritize sou.; sent2 & assump1 -> int1: that the ritualist is not adaptive and does prioritize hibiscus is false.; int1 & sent5 -> int2: the anil is bivariate.; int2 & sent10 -> int3: the cholla is a kind of an athlete.; sent4 -> int4: the cholla is not a count if the fact that it is a kind of a count and it is not periodic is false.; int4 & sent13 -> int5: the cholla is not a kind of a count.; sent6 -> int6: the stiff does lose sawm and it is a tax if it does not prioritize sou.;
that the stiff is a count hold.
$hypothesis$ = the stiff does lose sawm and is a tax. ; $context$ = sent1: if the stiff prioritizes sou but it is not bivariate then it is a kind of a count. sent2: the fact that the ritualist is not adaptive and does prioritize hibiscus is not right if the stiff prioritizes sou. sent3: the fact that the anil is bivariate but it does not tax does not hold. sent4: if the fact that something is both a count and not periodic is not correct it is not a count. sent5: if the fact that the ritualist is a kind of non-adaptive thing that does prioritize hibiscus is wrong then the anil is bivariate. sent6: something loses sawm and taxes if it does not prioritize sou. sent7: if the fact that the ritualist is periodic but it does not prioritize hibiscus is incorrect then it is not periodic. sent8: the stiff is a tax if it does not prioritize sou. sent9: that if the fact that the anil does prioritize sou and is not non-bivariate is not true then the ritualist does not lose sawm is right. sent10: if the anil is bivariate the cholla is an athlete. sent11: that the anil is not non-bivariate hold if that the ritualist is not non-adaptive is correct. sent12: if that the stiff prioritizes hibiscus hold then the ritualist loses sawm. sent13: the fact that the cholla counts and is not periodic is incorrect. sent14: something that is not a Frenchman does confine keystone and is a kind of a classroom. sent15: if the stiff does prioritize sou the fact that the ritualist is a kind of adaptive thing that does prioritize hibiscus is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the stiff does prioritize sou.; sent2 & assump1 -> int1: that the ritualist is not adaptive and does prioritize hibiscus is false.; int1 & sent5 -> int2: the anil is bivariate.; int2 & sent10 -> int3: the cholla is a kind of an athlete.; sent4 -> int4: the cholla is not a count if the fact that it is a kind of a count and it is not periodic is false.; int4 & sent13 -> int5: the cholla is not a kind of a count.; sent6 -> int6: the stiff does lose sawm and it is a tax if it does not prioritize sou.; __UNKNOWN__