the incrustation is not a mutation and/or it does not discard.
sent1: the incrustation either is not a kind of a mutation or does discard or both. sent2: something is not a synthetic if that it is not a Khedive and it is a presidium is not right. sent3: if something that does not article Neandertal is not a Khedive then the internode is a synthetic. sent4: if the portrait is not a Khedive then it is a presidium. sent5: there exists something such that it does article Neandertal. sent6: the portrait is non-synthetic if the fern is not non-synthetic. sent7: something does not article Neandertal and is not a kind of a Khedive if it fixes homebrew. sent8: the incrustation does not article Neandertal. sent9: the fact that the fern is not insular but it is a cofounder does not hold. sent10: that the fern is insular and is a kind of a cofounder is not right. sent11: either the incrustation is a mutation or it is not a kind of a discard or both. sent12: if there exists something such that it is not a presidium then the fact that the incrustation is not a kind of a mutation and/or it does not discard does not hold. sent13: the portrait is not a kind of a Khedive. sent14: the fact that the fern is not a discard but it is insular is not incorrect if the incrustation is not a discard. sent15: if the fern is not insular the portrait is not insular but it is a presidium. sent16: the fact that the welt does not article Neandertal hold. sent17: the portrait is not a presidium if that the fastnacht is not a synthetic but it is a presidium is not correct. sent18: the portrait is not a kind of a synthetic. sent19: if the fern is insular then it is non-synthetic. sent20: if that something is not insular but it is a kind of a cofounder does not hold then it is not a synthetic. sent21: the portrait is not a mutation. sent22: if the fern is non-synthetic the portrait is not a non-synthetic but it does article Neandertal. sent23: if the incrustation is not a mutation then it is a presidium. sent24: something is a presidium. sent25: if something is insular then it is not a synthetic. sent26: the incrustation is not a discard if something is a presidium and does article Neandertal.
sent20 -> int1: the fern is non-synthetic if the fact that it is not insular and it is a cofounder is wrong.; int1 & sent9 -> int2: the fern is not a kind of a synthetic.; int2 & sent22 -> int3: the portrait is not synthetic but it does article Neandertal.; int3 -> int4: the portrait does article Neandertal.; sent4 & sent13 -> int5: the portrait is a presidium.; int4 & int5 -> int6: the portrait is a presidium and does article Neandertal.; int6 -> int7: there is something such that it is a presidium and does article Neandertal.; int7 & sent26 -> int8: the incrustation does not discard.; int8 -> hypothesis;
that the incrustation is either not a mutation or not a discard or both is incorrect.
sent7 -> int9: the ancient does not article Neandertal and is not a Khedive if it fixes homebrew.;
$hypothesis$ = the incrustation is not a mutation and/or it does not discard. ; $context$ = sent1: the incrustation either is not a kind of a mutation or does discard or both. sent2: something is not a synthetic if that it is not a Khedive and it is a presidium is not right. sent3: if something that does not article Neandertal is not a Khedive then the internode is a synthetic. sent4: if the portrait is not a Khedive then it is a presidium. sent5: there exists something such that it does article Neandertal. sent6: the portrait is non-synthetic if the fern is not non-synthetic. sent7: something does not article Neandertal and is not a kind of a Khedive if it fixes homebrew. sent8: the incrustation does not article Neandertal. sent9: the fact that the fern is not insular but it is a cofounder does not hold. sent10: that the fern is insular and is a kind of a cofounder is not right. sent11: either the incrustation is a mutation or it is not a kind of a discard or both. sent12: if there exists something such that it is not a presidium then the fact that the incrustation is not a kind of a mutation and/or it does not discard does not hold. sent13: the portrait is not a kind of a Khedive. sent14: the fact that the fern is not a discard but it is insular is not incorrect if the incrustation is not a discard. sent15: if the fern is not insular the portrait is not insular but it is a presidium. sent16: the fact that the welt does not article Neandertal hold. sent17: the portrait is not a presidium if that the fastnacht is not a synthetic but it is a presidium is not correct. sent18: the portrait is not a kind of a synthetic. sent19: if the fern is insular then it is non-synthetic. sent20: if that something is not insular but it is a kind of a cofounder does not hold then it is not a synthetic. sent21: the portrait is not a mutation. sent22: if the fern is non-synthetic the portrait is not a non-synthetic but it does article Neandertal. sent23: if the incrustation is not a mutation then it is a presidium. sent24: something is a presidium. sent25: if something is insular then it is not a synthetic. sent26: the incrustation is not a discard if something is a presidium and does article Neandertal. ; $proof$ = 
sent20 -> int1: the fern is non-synthetic if the fact that it is not insular and it is a cofounder is wrong.; int1 & sent9 -> int2: the fern is not a kind of a synthetic.; int2 & sent22 -> int3: the portrait is not synthetic but it does article Neandertal.; int3 -> int4: the portrait does article Neandertal.; sent4 & sent13 -> int5: the portrait is a presidium.; int4 & int5 -> int6: the portrait is a presidium and does article Neandertal.; int6 -> int7: there is something such that it is a presidium and does article Neandertal.; int7 & sent26 -> int8: the incrustation does not discard.; int8 -> hypothesis; __PROVED__