the devisee is not a smut.
sent1: the surplice is a kind of a workmate or it is not a Caribbean or both if the devisee is a kind of a Caribbean. sent2: if the fact that the surplice is a Caribbean but not a workmate does not hold then the devisee is necromantic. sent3: something that either criticizes Donar or is not a workmate or both is not a smut. sent4: the fact that the surplice is necromantic and it is a Caribbean is not correct. sent5: the surplice is a workmate and it is wearable if the fact that it does not criticize vintner hold. sent6: if the fact that the surplice is necromantic but it is not a kind of a Caribbean is false the poppet is a kind of a workmate. sent7: the fact that the poppet is peripteral hold. sent8: if something is not a workmate then it is not a smut. sent9: if the poppet is a workmate either the devisee does criticize Donar or it is a workmate or both. sent10: the fact that the poppet is a workmate but it is not a smut is false. sent11: if the devisee is not a workmate then it does not smut. sent12: the poppet is either a workmate or non-necromantic or both. sent13: the poppet is a kind of a workmate if the surplice is a Caribbean. sent14: the fact that the surplice is necromantic but it is not a kind of a Caribbean is not correct. sent15: that the devisee is necromantic hold. sent16: the devisee criticizes Donar and/or it is not a workmate if the poppet is a kind of a workmate. sent17: something that is necromantic and/or not a workmate is not a Caribbean.
sent6 & sent14 -> int1: the poppet is a workmate.; int1 & sent16 -> int2: the devisee does criticize Donar or it is not a workmate or both.; sent3 -> int3: if the devisee does criticize Donar or it is not a kind of a workmate or both it does not smut.; int2 & int3 -> hypothesis;
the devisee is a kind of a smut.
$hypothesis$ = the devisee is not a smut. ; $context$ = sent1: the surplice is a kind of a workmate or it is not a Caribbean or both if the devisee is a kind of a Caribbean. sent2: if the fact that the surplice is a Caribbean but not a workmate does not hold then the devisee is necromantic. sent3: something that either criticizes Donar or is not a workmate or both is not a smut. sent4: the fact that the surplice is necromantic and it is a Caribbean is not correct. sent5: the surplice is a workmate and it is wearable if the fact that it does not criticize vintner hold. sent6: if the fact that the surplice is necromantic but it is not a kind of a Caribbean is false the poppet is a kind of a workmate. sent7: the fact that the poppet is peripteral hold. sent8: if something is not a workmate then it is not a smut. sent9: if the poppet is a workmate either the devisee does criticize Donar or it is a workmate or both. sent10: the fact that the poppet is a workmate but it is not a smut is false. sent11: if the devisee is not a workmate then it does not smut. sent12: the poppet is either a workmate or non-necromantic or both. sent13: the poppet is a kind of a workmate if the surplice is a Caribbean. sent14: the fact that the surplice is necromantic but it is not a kind of a Caribbean is not correct. sent15: that the devisee is necromantic hold. sent16: the devisee criticizes Donar and/or it is not a workmate if the poppet is a kind of a workmate. sent17: something that is necromantic and/or not a workmate is not a Caribbean. ; $proof$ = 
sent6 & sent14 -> int1: the poppet is a workmate.; int1 & sent16 -> int2: the devisee does criticize Donar or it is not a workmate or both.; sent3 -> int3: if the devisee does criticize Donar or it is not a kind of a workmate or both it does not smut.; int2 & int3 -> hypothesis; __PROVED__