if the cancer is not a backstop then that the bootleg is a kind of a splurge and/or it is not ferial is not incorrect.
sent1: the cancer does not elaborate mower and does splurge if it is ferial. sent2: if the fact that the cancer is not a splurge and backstops is incorrect the masturbator is not a splurge. sent3: if the cancer does not elaborate mower then the bootleg is ferial or it does not elaborate mower or both. sent4: the anticoagulant is not ferial if something is not a Ecuadorian but it elaborates mower. sent5: the anticoagulant does not backstop. sent6: the bootleg splurges and/or is not ferial if the anticoagulant is not ferial. sent7: if the cancer is not a backstop it is not a kind of a Ecuadorian and it elaborates mower. sent8: the anticoagulant is ferial and/or not a splurge if the bootleg is not a kind of a splurge. sent9: the bootleg does backstop and/or does splurge. sent10: the bootleg does backstop or it does not splurge or both if the cancer elaborates mower. sent11: if there exists something such that it does not backstop and is ferial then that the cancer is not Ecuadorian is not wrong. sent12: the bootleg is extricable or it is a Ecuadorian or both. sent13: the bootleg does not elaborate mower and is ferial. sent14: that there are non-Ecuadorian things is not false. sent15: either the cancer does elaborate mower or it is ferial or both if the bootleg is not ferial. sent16: if the anticoagulant is not ferial it is not a Ecuadorian. sent17: something is not a backstop if the fact that it is a kind of a backstop and it is not a cleanness is false. sent18: if the cancer is ferial the anticoagulant is a splurge and/or it is not Ecuadorian. sent19: the bootleg is not disreputable.
void -> assump1: Let's assume that the cancer is not a backstop.; sent7 & assump1 -> int1: the cancer is not a kind of a Ecuadorian but it does elaborate mower.; int1 -> int2: there exists something such that it is non-Ecuadorian thing that does elaborate mower.; int2 & sent4 -> int3: the anticoagulant is not ferial.; int3 & sent6 -> int4: the bootleg does splurge and/or it is non-ferial.; [assump1] & int4 -> hypothesis;
the masturbator is not a splurge.
sent17 -> int5: if that the anticoagulant does backstop but it is not a cleanness is false then it is not a backstop.;
$hypothesis$ = if the cancer is not a backstop then that the bootleg is a kind of a splurge and/or it is not ferial is not incorrect. ; $context$ = sent1: the cancer does not elaborate mower and does splurge if it is ferial. sent2: if the fact that the cancer is not a splurge and backstops is incorrect the masturbator is not a splurge. sent3: if the cancer does not elaborate mower then the bootleg is ferial or it does not elaborate mower or both. sent4: the anticoagulant is not ferial if something is not a Ecuadorian but it elaborates mower. sent5: the anticoagulant does not backstop. sent6: the bootleg splurges and/or is not ferial if the anticoagulant is not ferial. sent7: if the cancer is not a backstop it is not a kind of a Ecuadorian and it elaborates mower. sent8: the anticoagulant is ferial and/or not a splurge if the bootleg is not a kind of a splurge. sent9: the bootleg does backstop and/or does splurge. sent10: the bootleg does backstop or it does not splurge or both if the cancer elaborates mower. sent11: if there exists something such that it does not backstop and is ferial then that the cancer is not Ecuadorian is not wrong. sent12: the bootleg is extricable or it is a Ecuadorian or both. sent13: the bootleg does not elaborate mower and is ferial. sent14: that there are non-Ecuadorian things is not false. sent15: either the cancer does elaborate mower or it is ferial or both if the bootleg is not ferial. sent16: if the anticoagulant is not ferial it is not a Ecuadorian. sent17: something is not a backstop if the fact that it is a kind of a backstop and it is not a cleanness is false. sent18: if the cancer is ferial the anticoagulant is a splurge and/or it is not Ecuadorian. sent19: the bootleg is not disreputable. ; $proof$ = 
void -> assump1: Let's assume that the cancer is not a backstop.; sent7 & assump1 -> int1: the cancer is not a kind of a Ecuadorian but it does elaborate mower.; int1 -> int2: there exists something such that it is non-Ecuadorian thing that does elaborate mower.; int2 & sent4 -> int3: the anticoagulant is not ferial.; int3 & sent6 -> int4: the bootleg does splurge and/or it is non-ferial.; [assump1] & int4 -> hypothesis; __PROVED__