the foster-daughter is a kind of anticholinergic thing that quarterbacks.
sent1: the fact that something is anticholinergic and it does quarterback does not hold if it does not citify. sent2: if the foster-daughter is a liquidity but it does not quarterback then the papovavirus is a titration. sent3: if the thiothixene is not a liquidity then the foster-daughter is a commensal and a liquidity. sent4: if something is a titration it is a horseman. sent5: the scintillation is Arabian and/or it is a kind of a Dictyophera. sent6: something is not a kind of a horseman if the fact that it is pleochroic thing that is a horseman is wrong. sent7: the mincemeat is a commensal. sent8: the idiot is a kind of a commensal. sent9: the foster-daughter is a kind of a anticholinergic if the scintillation is a Dictyophera. sent10: the thiothixene does not citify and is not a kind of a liquidity. sent11: the foster-daughter is a kind of an acrylic. sent12: the longroot does not well. sent13: the foster-daughter is a anticholinergic if the scintillation is a kind of a Arabian.
sent10 -> int1: the thiothixene is not a liquidity.; int1 & sent3 -> int2: the foster-daughter is a commensal and it is a kind of a liquidity.; int2 -> int3: the foster-daughter is a kind of a liquidity.; void -> assump1: Let's assume that the foster-daughter is not a quarterback.; int3 & assump1 -> int4: the foster-daughter is a liquidity but it does not quarterback.; int4 & sent2 -> int5: that the papovavirus is a kind of a titration is correct.; sent4 -> int6: if that the papovavirus is a titration is true it is a horseman.; int5 & int6 -> int7: that the papovavirus is a horseman hold.; sent6 -> int8: if the fact that the papovavirus is pleochroic thing that is a horseman is not right then it is not a horseman.; sent5 & sent13 & sent9 -> int9: the foster-daughter is anticholinergic.;
the fact that the foster-daughter is anticholinergic and quarterbacks is not right.
sent1 -> int10: if the foster-daughter does not citify then that it is a anticholinergic and it is a quarterback is not correct.;
$hypothesis$ = the foster-daughter is a kind of anticholinergic thing that quarterbacks. ; $context$ = sent1: the fact that something is anticholinergic and it does quarterback does not hold if it does not citify. sent2: if the foster-daughter is a liquidity but it does not quarterback then the papovavirus is a titration. sent3: if the thiothixene is not a liquidity then the foster-daughter is a commensal and a liquidity. sent4: if something is a titration it is a horseman. sent5: the scintillation is Arabian and/or it is a kind of a Dictyophera. sent6: something is not a kind of a horseman if the fact that it is pleochroic thing that is a horseman is wrong. sent7: the mincemeat is a commensal. sent8: the idiot is a kind of a commensal. sent9: the foster-daughter is a kind of a anticholinergic if the scintillation is a Dictyophera. sent10: the thiothixene does not citify and is not a kind of a liquidity. sent11: the foster-daughter is a kind of an acrylic. sent12: the longroot does not well. sent13: the foster-daughter is a anticholinergic if the scintillation is a kind of a Arabian. ; $proof$ = 
sent10 -> int1: the thiothixene is not a liquidity.; int1 & sent3 -> int2: the foster-daughter is a commensal and it is a kind of a liquidity.; int2 -> int3: the foster-daughter is a kind of a liquidity.; void -> assump1: Let's assume that the foster-daughter is not a quarterback.; int3 & assump1 -> int4: the foster-daughter is a liquidity but it does not quarterback.; int4 & sent2 -> int5: that the papovavirus is a kind of a titration is correct.; sent4 -> int6: if that the papovavirus is a titration is true it is a horseman.; int5 & int6 -> int7: that the papovavirus is a horseman hold.; sent6 -> int8: if the fact that the papovavirus is pleochroic thing that is a horseman is not right then it is not a horseman.; sent5 & sent13 & sent9 -> int9: the foster-daughter is anticholinergic.; __UNKNOWN__