the slasher pipes pyelogram.
sent1: if the aspic does not demilitarize that it is a cyanogen and is meridional is wrong. sent2: that the batman is not a qoph but it is a exotherm is incorrect. sent3: if something is graceful and/or it is a Acheson then it is not a kind of a qoph. sent4: that the batman is both not a qoph and not a exotherm is false if the Dunkers is not a kind of a qoph. sent5: the Dunkers is graceful if the slasher is a kind of a Mycrosporidia. sent6: that if the slasher is the Holocene then the slasher is a Mycrosporidia is not false. sent7: the Dunkers is not a qoph if it is a Acheson. sent8: if something is a exotherm that it is meridional is right. sent9: if that something is not a qoph and it is not a exotherm is wrong then it is meridional. sent10: if something is a Acheson then that it is not a qoph is not wrong. sent11: the batman is not meridional if there is something such that that it is a cyanogen and it is not meridional is incorrect. sent12: the slasher is not a kind of a Holocene. sent13: the fact that the aspic does not demilitarize is true.
void -> assump1: Let's assume that that that the slasher does pipe pyelogram and is not a Holocene hold is not right.; sent3 -> int1: that the Dunkers is not a qoph is right if it is not non-graceful or a Acheson or both.; sent9 -> int2: if that the batman is not a qoph and it is not a kind of a exotherm is wrong it is meridional.; sent1 & sent13 -> int3: that the aspic is a cyanogen and it is meridional does not hold.; int3 -> int4: there is something such that the fact that it is a cyanogen and meridional is not correct.; int4 & sent11 -> int5: the batman is not meridional.;
$hypothesis$ = the slasher pipes pyelogram. ; $context$ = sent1: if the aspic does not demilitarize that it is a cyanogen and is meridional is wrong. sent2: that the batman is not a qoph but it is a exotherm is incorrect. sent3: if something is graceful and/or it is a Acheson then it is not a kind of a qoph. sent4: that the batman is both not a qoph and not a exotherm is false if the Dunkers is not a kind of a qoph. sent5: the Dunkers is graceful if the slasher is a kind of a Mycrosporidia. sent6: that if the slasher is the Holocene then the slasher is a Mycrosporidia is not false. sent7: the Dunkers is not a qoph if it is a Acheson. sent8: if something is a exotherm that it is meridional is right. sent9: if that something is not a qoph and it is not a exotherm is wrong then it is meridional. sent10: if something is a Acheson then that it is not a qoph is not wrong. sent11: the batman is not meridional if there is something such that that it is a cyanogen and it is not meridional is incorrect. sent12: the slasher is not a kind of a Holocene. sent13: the fact that the aspic does not demilitarize is true. ; $proof$ = 
void -> assump1: Let's assume that that that the slasher does pipe pyelogram and is not a Holocene hold is not right.; sent3 -> int1: that the Dunkers is not a qoph is right if it is not non-graceful or a Acheson or both.; sent9 -> int2: if that the batman is not a qoph and it is not a kind of a exotherm is wrong it is meridional.; sent1 & sent13 -> int3: that the aspic is a cyanogen and it is meridional does not hold.; int3 -> int4: there is something such that the fact that it is a cyanogen and meridional is not correct.; int4 & sent11 -> int5: the batman is not meridional.; __UNKNOWN__