if the retiree is not pacific then that the anticatalyst is a kind of a Canopus but it does not beat kaffir is not true.
sent1: the pediatrician beats anticatalyst if the retiree does beat retiree but it does not beat kaffir. sent2: if the pediatrician is a selvage and it is a Canopus the retiree is a Fabiana. sent3: the dynamiter does not spot indignation. sent4: the retiree does not beat retiree if the pediatrician is not a Negritude and it does not beat anticatalyst. sent5: if the anticatalyst is a kind of a Canopus that does not beat kaffir the pediatrician is a selvage. sent6: if the pediatrician is a selvage then it is not a Negritude and does not beat anticatalyst. sent7: the retiree does not beat retiree if the pediatrician is a Negritude but it does not beat anticatalyst. sent8: if the retiree is a Canopus the fact that that the anticatalyst is a Fabiana and does not beat retiree is incorrect is not false. sent9: the fact that something is not a kind of a selvage but it is a Canopus does not hold if it does not beat retiree. sent10: if the anticatalyst is a Canopus that does beat kaffir then the pediatrician is a selvage. sent11: that something is not a Fabiana and it does not spot indignation is not right if it does not beat retiree. sent12: that the pediatrician is not a kind of a Canopus is not incorrect. sent13: the fact that the anticatalyst is a Canopus and does not beat kaffir is incorrect if the retiree is pacific.
void -> assump2: Let's assume that the anticatalyst is a Canopus and does not beat kaffir.; sent5 & assump2 -> int1: the pediatrician is a selvage.; int1 & sent6 -> int2: the fact that the pediatrician is not a kind of a Negritude and does not beat anticatalyst is not false.; int2 & sent4 -> int3: that the retiree does not beat retiree is true.; sent11 -> int4: that the retiree is not a Fabiana and does not spot indignation is incorrect if it does not beat retiree.; int3 & int4 -> int5: that the retiree is not a Fabiana and it does not spot indignation is not correct.;
$hypothesis$ = if the retiree is not pacific then that the anticatalyst is a kind of a Canopus but it does not beat kaffir is not true. ; $context$ = sent1: the pediatrician beats anticatalyst if the retiree does beat retiree but it does not beat kaffir. sent2: if the pediatrician is a selvage and it is a Canopus the retiree is a Fabiana. sent3: the dynamiter does not spot indignation. sent4: the retiree does not beat retiree if the pediatrician is not a Negritude and it does not beat anticatalyst. sent5: if the anticatalyst is a kind of a Canopus that does not beat kaffir the pediatrician is a selvage. sent6: if the pediatrician is a selvage then it is not a Negritude and does not beat anticatalyst. sent7: the retiree does not beat retiree if the pediatrician is a Negritude but it does not beat anticatalyst. sent8: if the retiree is a Canopus the fact that that the anticatalyst is a Fabiana and does not beat retiree is incorrect is not false. sent9: the fact that something is not a kind of a selvage but it is a Canopus does not hold if it does not beat retiree. sent10: if the anticatalyst is a Canopus that does beat kaffir then the pediatrician is a selvage. sent11: that something is not a Fabiana and it does not spot indignation is not right if it does not beat retiree. sent12: that the pediatrician is not a kind of a Canopus is not incorrect. sent13: the fact that the anticatalyst is a Canopus and does not beat kaffir is incorrect if the retiree is pacific. ; $proof$ = 
void -> assump2: Let's assume that the anticatalyst is a Canopus and does not beat kaffir.; sent5 & assump2 -> int1: the pediatrician is a selvage.; int1 & sent6 -> int2: the fact that the pediatrician is not a kind of a Negritude and does not beat anticatalyst is not false.; int2 & sent4 -> int3: that the retiree does not beat retiree is true.; sent11 -> int4: that the retiree is not a Fabiana and does not spot indignation is incorrect if it does not beat retiree.; int3 & int4 -> int5: that the retiree is not a Fabiana and it does not spot indignation is not correct.; __UNKNOWN__