the surrogate does not poultice garroter.
sent1: the fact that the sire is not a climacteric and multiplies arrest is not correct if the lithium is a kind of a lepidocrocite. sent2: the fact that the lithium is a lepidocrocite is correct if the fact that the microglia is not a lepidocrocite or it does poultice propositus or both is false. sent3: the fact that something is a kind of a threadfin but it is not a kind of a satiation does not hold if it is a kind of a Asarum. sent4: the recruit is a kind of a IOU that does sleepwalk if there exists something such that that it is not articulatory hold. sent5: there is something such that that it is a kind of immature thing that does not poultice propositus is false. sent6: the microglia does mature if that the liberal is a kind of a threadfin but it is not a satiation is not right. sent7: the surrogate is a animalism if the sire is a animalism and not a climacteric. sent8: the fact that something is not a kind of a lepidocrocite or it does poultice propositus or both is not true if it does mature. sent9: the surrogate is a kind of a climacteric that does multiply arrest. sent10: there exists something such that that it is a kind of mature thing that does not poultice propositus is incorrect. sent11: the lithium is a lepidocrocite but it does not multiply arrest if that it does not poultice garroter is not wrong. sent12: if something is a kind of a climacteric and it is a lepidocrocite then it does not poultice garroter. sent13: the fact that the Parthian is not articulatory is right.
sent9 -> int1: the surrogate is a climacteric.; sent12 -> int2: the surrogate does not poultice garroter if it is a climacteric and it is a lepidocrocite.;
the surrogate poultices garroter.
sent8 -> int3: that the microglia is not a lepidocrocite and/or it poultices propositus does not hold if it does mature.; sent3 -> int4: if the liberal is a Asarum then that it is a kind of a threadfin and it is not a satiation is incorrect.; sent13 -> int5: there exists something such that it is not articulatory.; int5 & sent4 -> int6: the recruit is a IOU and it sleepwalks.; int6 -> int7: the recruit is a kind of a IOU.; int7 -> int8: that something is a IOU is true.;
$hypothesis$ = the surrogate does not poultice garroter. ; $context$ = sent1: the fact that the sire is not a climacteric and multiplies arrest is not correct if the lithium is a kind of a lepidocrocite. sent2: the fact that the lithium is a lepidocrocite is correct if the fact that the microglia is not a lepidocrocite or it does poultice propositus or both is false. sent3: the fact that something is a kind of a threadfin but it is not a kind of a satiation does not hold if it is a kind of a Asarum. sent4: the recruit is a kind of a IOU that does sleepwalk if there exists something such that that it is not articulatory hold. sent5: there is something such that that it is a kind of immature thing that does not poultice propositus is false. sent6: the microglia does mature if that the liberal is a kind of a threadfin but it is not a satiation is not right. sent7: the surrogate is a animalism if the sire is a animalism and not a climacteric. sent8: the fact that something is not a kind of a lepidocrocite or it does poultice propositus or both is not true if it does mature. sent9: the surrogate is a kind of a climacteric that does multiply arrest. sent10: there exists something such that that it is a kind of mature thing that does not poultice propositus is incorrect. sent11: the lithium is a lepidocrocite but it does not multiply arrest if that it does not poultice garroter is not wrong. sent12: if something is a kind of a climacteric and it is a lepidocrocite then it does not poultice garroter. sent13: the fact that the Parthian is not articulatory is right. ; $proof$ = 
sent9 -> int1: the surrogate is a climacteric.; sent12 -> int2: the surrogate does not poultice garroter if it is a climacteric and it is a lepidocrocite.; __UNKNOWN__