the slattern is a couscous and/or ripostes treasurer.
sent1: the fact that the weapon does not sandpaper disgustingness and it is not unswept does not hold if it is not a Paliurus. sent2: the weapon is a salutatory. sent3: something is not a bedlamite and is not a salutatory if it does not own slattern. sent4: if that the weapon does not sandpaper disgustingness and is not unswept is incorrect then it is not non-exilic. sent5: everything is not a Paliurus. sent6: if the ptyalin does not own slattern then the slattern is a couscous. sent7: if there is something such that it does time or it does overprint or both then the weapon is a time. sent8: the ptyalin does not own slattern if either the weapon is a salutatory or it is a bedlamite or both. sent9: if something is not a kind of a salutatory that it is a kind of a couscous or it ripostes treasurer or both is false. sent10: something either is a time or overprints or both. sent11: if the weapon is a kind of a bedlamite then the fact that the ptyalin does not own slattern is not incorrect.
sent2 -> int1: the weapon is a salutatory or is a kind of a bedlamite or both.; sent8 & int1 -> int2: the ptyalin does not own slattern.; sent6 & int2 -> int3: the slattern is a couscous.; int3 -> hypothesis;
the fact that the slattern is a kind of a couscous or does riposte treasurer or both does not hold.
sent9 -> int4: if the slattern is not a salutatory the fact that it is a couscous and/or it ripostes treasurer is not correct.; sent3 -> int5: if the slattern does not own slattern then it is not a bedlamite and it is not a kind of a salutatory.; sent10 & sent7 -> int6: the weapon times.; sent5 -> int7: the weapon is not a Paliurus.; sent1 & int7 -> int8: the fact that the weapon does not sandpaper disgustingness and is not unswept is not right.; sent4 & int8 -> int9: the weapon is exilic.; int6 & int9 -> int10: the weapon does time and is exilic.; int10 -> int11: there is something such that it is a time that is exilic.;
$hypothesis$ = the slattern is a couscous and/or ripostes treasurer. ; $context$ = sent1: the fact that the weapon does not sandpaper disgustingness and it is not unswept does not hold if it is not a Paliurus. sent2: the weapon is a salutatory. sent3: something is not a bedlamite and is not a salutatory if it does not own slattern. sent4: if that the weapon does not sandpaper disgustingness and is not unswept is incorrect then it is not non-exilic. sent5: everything is not a Paliurus. sent6: if the ptyalin does not own slattern then the slattern is a couscous. sent7: if there is something such that it does time or it does overprint or both then the weapon is a time. sent8: the ptyalin does not own slattern if either the weapon is a salutatory or it is a bedlamite or both. sent9: if something is not a kind of a salutatory that it is a kind of a couscous or it ripostes treasurer or both is false. sent10: something either is a time or overprints or both. sent11: if the weapon is a kind of a bedlamite then the fact that the ptyalin does not own slattern is not incorrect. ; $proof$ = 
sent2 -> int1: the weapon is a salutatory or is a kind of a bedlamite or both.; sent8 & int1 -> int2: the ptyalin does not own slattern.; sent6 & int2 -> int3: the slattern is a couscous.; int3 -> hypothesis; __PROVED__