that the polyphosphate is not acyclic hold.
sent1: the fact that the Chevalier is not a Selkup is not wrong. sent2: if the Chevalier is a kind of a Saxon then it is a Selkup. sent3: if the Chevalier is intralobular it does mask Musaceae. sent4: something that masks Musaceae is a kind of a monogamy. sent5: that the Mauritian is a kind of a Saxon but it does not decompress is incorrect if the Burr is Saxon. sent6: if the snuffbox does embrown fathead that the Burr is a Saxon hold. sent7: the polyphosphate is not acyclic if the Mauritian does decompress. sent8: the snuffbox embrowns fathead if the Chevalier is a monogamy. sent9: the aminomethane is non-acyclic. sent10: the Mauritian does not embrown fathead. sent11: something is acyclic if it is intralobular. sent12: the polyphosphate is not acyclic if the fact that the fact that the Mauritian is a kind of a Saxon that does not decompress is false hold. sent13: either the snuffbox is intralobular or it does not embrown dripstone or both.
sent1 -> int1: either the Chevalier is intralobular or it is not a kind of a Selkup or both.; sent4 -> int2: the Chevalier is a monogamy if it masks Musaceae.;
the polyphosphate is acyclic.
sent11 -> int3: the polyphosphate is acyclic if it is intralobular.;
$hypothesis$ = that the polyphosphate is not acyclic hold. ; $context$ = sent1: the fact that the Chevalier is not a Selkup is not wrong. sent2: if the Chevalier is a kind of a Saxon then it is a Selkup. sent3: if the Chevalier is intralobular it does mask Musaceae. sent4: something that masks Musaceae is a kind of a monogamy. sent5: that the Mauritian is a kind of a Saxon but it does not decompress is incorrect if the Burr is Saxon. sent6: if the snuffbox does embrown fathead that the Burr is a Saxon hold. sent7: the polyphosphate is not acyclic if the Mauritian does decompress. sent8: the snuffbox embrowns fathead if the Chevalier is a monogamy. sent9: the aminomethane is non-acyclic. sent10: the Mauritian does not embrown fathead. sent11: something is acyclic if it is intralobular. sent12: the polyphosphate is not acyclic if the fact that the fact that the Mauritian is a kind of a Saxon that does not decompress is false hold. sent13: either the snuffbox is intralobular or it does not embrown dripstone or both. ; $proof$ = 
sent1 -> int1: either the Chevalier is intralobular or it is not a kind of a Selkup or both.; sent4 -> int2: the Chevalier is a monogamy if it masks Musaceae.; __UNKNOWN__