the carrycot is uncut but it is not a Delawarean if the fact that the dressmaker is a sarcodinian is not wrong.
sent1: the dressmaker does resent Branchiobdella if the highbinder is a Wesleyan. sent2: the highbinder is not seasonal or it is uncut or both. sent3: there is something such that the fact that it is a shamanism hold. sent4: if the codefendant is not pacific then the carrycot is uncut thing that is not a Delawarean. sent5: if the dressmaker is a sarcodinian and it resents Branchiobdella the codefendant is not pacific. sent6: the highbinder is a seasonal and/or it does overbear ergot. sent7: if there is something such that it is a kind of a shamanism then the highbinder is a seasonal and/or overbears ergot. sent8: the highbinder is a kind of a sarcodinian if the dressmaker is not a seasonal. sent9: if the carrycot is pacific the codefendant is a kind of uncut a seasonal. sent10: the fact that the highbinder does not resent Branchiobdella is not false. sent11: something is a kind of a Wesleyan if it is not a kind of a seasonal and/or it does overbear ergot. sent12: the carrycot is pacific. sent13: the highbinder is not a kind of a seasonal and/or it does overbear ergot if there is something such that it is a shamanism. sent14: the carrycot is uncut.
sent3 & sent13 -> int1: the highbinder is not a seasonal and/or overbears ergot.; sent11 -> int2: if the highbinder is not a seasonal and/or it does overbear ergot it is a Wesleyan.; int1 & int2 -> int3: the highbinder is a Wesleyan.; int3 & sent1 -> int4: the dressmaker does resent Branchiobdella.; void -> assump1: Let's assume that the dressmaker is a kind of a sarcodinian.; int4 & assump1 -> int5: the dressmaker is a sarcodinian and it resents Branchiobdella.; int5 & sent5 -> int6: the codefendant is not pacific.; int6 & sent4 -> int7: the carrycot is uncut and not a Delawarean.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the carrycot is uncut but it is not a Delawarean if the fact that the dressmaker is a sarcodinian is not wrong. ; $context$ = sent1: the dressmaker does resent Branchiobdella if the highbinder is a Wesleyan. sent2: the highbinder is not seasonal or it is uncut or both. sent3: there is something such that the fact that it is a shamanism hold. sent4: if the codefendant is not pacific then the carrycot is uncut thing that is not a Delawarean. sent5: if the dressmaker is a sarcodinian and it resents Branchiobdella the codefendant is not pacific. sent6: the highbinder is a seasonal and/or it does overbear ergot. sent7: if there is something such that it is a kind of a shamanism then the highbinder is a seasonal and/or overbears ergot. sent8: the highbinder is a kind of a sarcodinian if the dressmaker is not a seasonal. sent9: if the carrycot is pacific the codefendant is a kind of uncut a seasonal. sent10: the fact that the highbinder does not resent Branchiobdella is not false. sent11: something is a kind of a Wesleyan if it is not a kind of a seasonal and/or it does overbear ergot. sent12: the carrycot is pacific. sent13: the highbinder is not a kind of a seasonal and/or it does overbear ergot if there is something such that it is a shamanism. sent14: the carrycot is uncut. ; $proof$ = 
sent3 & sent13 -> int1: the highbinder is not a seasonal and/or overbears ergot.; sent11 -> int2: if the highbinder is not a seasonal and/or it does overbear ergot it is a Wesleyan.; int1 & int2 -> int3: the highbinder is a Wesleyan.; int3 & sent1 -> int4: the dressmaker does resent Branchiobdella.; void -> assump1: Let's assume that the dressmaker is a kind of a sarcodinian.; int4 & assump1 -> int5: the dressmaker is a sarcodinian and it resents Branchiobdella.; int5 & sent5 -> int6: the codefendant is not pacific.; int6 & sent4 -> int7: the carrycot is uncut and not a Delawarean.; [assump1] & int7 -> hypothesis; __PROVED__