that the morel is both polydactyl and not a sire is not correct if the duchess does beggar carrageenin.
sent1: if the apple is not a sire that the morel is polydactyl but not a sire is not correct. sent2: that the apple is a Jamaican and it is a kind of a sire is not correct. sent3: the morel does granulate. sent4: the fact that the duchess does beggar carrageenin and is not a sire does not hold. sent5: that the morel is polydactyl and it is a kind of a sire is not correct. sent6: the sharksucker is a kind of a Palatinate that does not beggar carrageenin. sent7: if the sharksucker is a sire but it is not a Palatinate the apple granulates. sent8: the Cotswold is not a Jamaican. sent9: if the fact that the duchess does granulate is true then the fact that the morel is a sire and does not beggar carrageenin is incorrect. sent10: if the duchess does beggar carrageenin the morel is a kind of polydactyl thing that is not a kind of a sire. sent11: the duchess is a Jamaican if the sharksucker is a Palatinate but it does not granulate. sent12: the morel does not beggar carrageenin. sent13: the fact that the morel is polydactyl and does beggar carrageenin does not hold. sent14: if the apple does beggar carrageenin and is not a kind of a sire then the sharksucker granulates. sent15: the duchess is a Palatinate. sent16: if the duchess does beggar carrageenin the fact that the morel is polydactyl and is a sire is incorrect. sent17: if the duchess is a Jamaican and it beggars carrageenin the apple is not a sire. sent18: the sharksucker is a Palatinate. sent19: the sharksucker is a Palatinate and does not granulate. sent20: if that the sharksucker is a Palatinate is true then the fact that the duchess does granulate and it is Jamaican is not correct.
sent11 & sent19 -> int1: that the duchess is Jamaican is true.; void -> assump1: Let's assume that the duchess beggars carrageenin.; int1 & assump1 -> int2: the duchess is a kind of a Jamaican and does beggar carrageenin.; sent17 & int2 -> int3: the apple is not a sire.; sent1 & int3 -> int4: that the morel is polydactyl but it is not a sire does not hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the morel is both polydactyl and not a sire is not correct if the duchess does beggar carrageenin. ; $context$ = sent1: if the apple is not a sire that the morel is polydactyl but not a sire is not correct. sent2: that the apple is a Jamaican and it is a kind of a sire is not correct. sent3: the morel does granulate. sent4: the fact that the duchess does beggar carrageenin and is not a sire does not hold. sent5: that the morel is polydactyl and it is a kind of a sire is not correct. sent6: the sharksucker is a kind of a Palatinate that does not beggar carrageenin. sent7: if the sharksucker is a sire but it is not a Palatinate the apple granulates. sent8: the Cotswold is not a Jamaican. sent9: if the fact that the duchess does granulate is true then the fact that the morel is a sire and does not beggar carrageenin is incorrect. sent10: if the duchess does beggar carrageenin the morel is a kind of polydactyl thing that is not a kind of a sire. sent11: the duchess is a Jamaican if the sharksucker is a Palatinate but it does not granulate. sent12: the morel does not beggar carrageenin. sent13: the fact that the morel is polydactyl and does beggar carrageenin does not hold. sent14: if the apple does beggar carrageenin and is not a kind of a sire then the sharksucker granulates. sent15: the duchess is a Palatinate. sent16: if the duchess does beggar carrageenin the fact that the morel is polydactyl and is a sire is incorrect. sent17: if the duchess is a Jamaican and it beggars carrageenin the apple is not a sire. sent18: the sharksucker is a Palatinate. sent19: the sharksucker is a Palatinate and does not granulate. sent20: if that the sharksucker is a Palatinate is true then the fact that the duchess does granulate and it is Jamaican is not correct. ; $proof$ = 
sent11 & sent19 -> int1: that the duchess is Jamaican is true.; void -> assump1: Let's assume that the duchess beggars carrageenin.; int1 & assump1 -> int2: the duchess is a kind of a Jamaican and does beggar carrageenin.; sent17 & int2 -> int3: the apple is not a sire.; sent1 & int3 -> int4: that the morel is polydactyl but it is not a sire does not hold.; [assump1] & int4 -> hypothesis; __PROVED__