the Junker does notch Copenhagen.
sent1: the Junker does not notch Copenhagen and is a retainer if the jird is not a retainer. sent2: if the jird is non-private that it is a parade and it does not suspend endorsement does not hold. sent3: the fact that the fact that the hypo is a private and it does notch CPR is correct is incorrect if something is not a kind of a ovipositor. sent4: if the jird does not notch CPR then it is not a retainer. sent5: the jird is not a kind of a private. sent6: the penguin is not a ovipositor. sent7: something does not notch CPR if that it does parade and it does not suspend endorsement does not hold.
sent7 -> int1: the fact that the jird does not notch CPR hold if the fact that it parades and does not suspend endorsement is wrong.; sent2 & sent5 -> int2: the fact that that the jird parades but it does not suspend endorsement hold does not hold.; int1 & int2 -> int3: the jird does not notch CPR.; int3 & sent4 -> int4: the jird is not a retainer.; int4 & sent1 -> int5: the Junker does not notch Copenhagen and is a retainer.; int5 -> hypothesis;
the Junker notches Copenhagen.
sent6 -> int6: there exists something such that it is not a ovipositor.; int6 & sent3 -> int7: that the hypo is a kind of a private and it notches CPR is wrong.;
$hypothesis$ = the Junker does notch Copenhagen. ; $context$ = sent1: the Junker does not notch Copenhagen and is a retainer if the jird is not a retainer. sent2: if the jird is non-private that it is a parade and it does not suspend endorsement does not hold. sent3: the fact that the fact that the hypo is a private and it does notch CPR is correct is incorrect if something is not a kind of a ovipositor. sent4: if the jird does not notch CPR then it is not a retainer. sent5: the jird is not a kind of a private. sent6: the penguin is not a ovipositor. sent7: something does not notch CPR if that it does parade and it does not suspend endorsement does not hold. ; $proof$ = 
sent7 -> int1: the fact that the jird does not notch CPR hold if the fact that it parades and does not suspend endorsement is wrong.; sent2 & sent5 -> int2: the fact that that the jird parades but it does not suspend endorsement hold does not hold.; int1 & int2 -> int3: the jird does not notch CPR.; int3 & sent4 -> int4: the jird is not a retainer.; int4 & sent1 -> int5: the Junker does not notch Copenhagen and is a retainer.; int5 -> hypothesis; __DISPROVED__