the fact that the obturator is a kind of non-singular thing that is cryptanalytic does not hold.
sent1: if there exists something such that it is nonmetallic and it shortens then the paraphilia is not a singular. sent2: the paraphilia is nonmetallic. sent3: if the paraphilia is not a singular that that the obturator is not a kind of a singular but it is cryptanalytic is not correct is not incorrect. sent4: the captor is nonmetallic. sent5: the captor is a kind of a singular and it does bend obturator. sent6: the captor shortens. sent7: if something is not sadomasochistic and it does not shorten it is nonmetallic. sent8: if the fact that the obturator is not available is wrong it is civics. sent9: something is not sadomasochistic and does not shorten if it is civics. sent10: if the captor is available then the obturator is available.
sent4 & sent6 -> int1: the captor is nonmetallic thing that does shorten.; int1 -> int2: something is nonmetallic and does shorten.; int2 & sent1 -> int3: the paraphilia is not a singular.; sent3 & int3 -> hypothesis;
the obturator is both non-singular and not non-cryptanalytic.
sent7 -> int4: the fact that the obturator is nonmetallic hold if it is non-sadomasochistic thing that does not shorten.; sent9 -> int5: if the obturator is civics then that it is a kind of non-sadomasochistic thing that does not shorten is right.;
$hypothesis$ = the fact that the obturator is a kind of non-singular thing that is cryptanalytic does not hold. ; $context$ = sent1: if there exists something such that it is nonmetallic and it shortens then the paraphilia is not a singular. sent2: the paraphilia is nonmetallic. sent3: if the paraphilia is not a singular that that the obturator is not a kind of a singular but it is cryptanalytic is not correct is not incorrect. sent4: the captor is nonmetallic. sent5: the captor is a kind of a singular and it does bend obturator. sent6: the captor shortens. sent7: if something is not sadomasochistic and it does not shorten it is nonmetallic. sent8: if the fact that the obturator is not available is wrong it is civics. sent9: something is not sadomasochistic and does not shorten if it is civics. sent10: if the captor is available then the obturator is available. ; $proof$ = 
sent4 & sent6 -> int1: the captor is nonmetallic thing that does shorten.; int1 -> int2: something is nonmetallic and does shorten.; int2 & sent1 -> int3: the paraphilia is not a singular.; sent3 & int3 -> hypothesis; __PROVED__