the franklin is either not an overpayment or not a pushup or both.
sent1: either the franklin is not a kind of an overpayment or it is a kind of a pushup or both. sent2: if the horn is articular that it does not animadvert and is not a kind of an easement is wrong. sent3: the franklin is not an easement but it does fingerprint horn if it is a lucubration. sent4: if the cryogen instruments glyceride then it is metallurgical. sent5: if the fact that either the cryogen does not animadvert or it is not articular or both is not true then the horn does not instrument glyceride. sent6: the novel animadverts. sent7: the cryogen does not animadvert if that the horn does not animadvert and is not an easement does not hold. sent8: if the franklin is not an easement it animadverts and it is articular. sent9: if the horn is a pushup then that it is non-metallurgical thing that does not animadvert is false. sent10: if something does not animadvert then it is not metallurgical. sent11: that either something is not a kind of an overpayment or it is not a pushup or both is false if it does instrument glyceride. sent12: if the fact that the franklin animadverts is not incorrect the fact that it instruments glyceride and is not a pushup is incorrect. sent13: if the horn is articular that it does animadvert and it is not an easement is not correct. sent14: the fact that the cryogen is not a kind of a pushup and it does not animadvert is not correct. sent15: the fact that the franklin is not a Lome but it is metallurgical does not hold. sent16: if that the franklin is not an overpayment and/or is not a pushup is wrong then the wintergreen is not a cosmopolitan. sent17: the cryogen is not an easement if it does not animadvert. sent18: the fact that the franklin is not a pushup or is not articular or both is not right. sent19: if something is not cytogenetics it is not a cosmopolitan. sent20: that the cryogen does instrument glyceride is true if the wintergreen is not a cosmopolitan. sent21: if that something is metallurgical and/or it is not a cosmopolitan does not hold then it does instrument glyceride. sent22: the horn is articular. sent23: the fact that the cryogen does not animadvert if the horn animadvert is not incorrect.
void -> assump1: Let's assume that that that the franklin is not an overpayment or it is not a pushup or both is not correct hold.; sent16 & assump1 -> int1: the wintergreen is not a cosmopolitan.; int1 & sent20 -> int2: the cryogen instruments glyceride.; int2 & sent4 -> int3: the cryogen is metallurgical.; sent10 -> int4: if the cryogen does not animadvert that it is not metallurgical hold.; sent2 & sent22 -> int5: the fact that the horn does not animadvert and it is not an easement does not hold.; sent7 & int5 -> int6: the cryogen does not animadvert.; int4 & int6 -> int7: the cryogen is not metallurgical.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
that that either the franklin is not an overpayment or it is not a pushup or both does not hold is not wrong.
sent11 -> int9: if that the franklin does instrument glyceride is correct that it is not an overpayment and/or it is not a pushup does not hold.; sent21 -> int10: the franklin does instrument glyceride if that the fact that it is metallurgical or not a cosmopolitan or both is true is wrong.;
$hypothesis$ = the franklin is either not an overpayment or not a pushup or both. ; $context$ = sent1: either the franklin is not a kind of an overpayment or it is a kind of a pushup or both. sent2: if the horn is articular that it does not animadvert and is not a kind of an easement is wrong. sent3: the franklin is not an easement but it does fingerprint horn if it is a lucubration. sent4: if the cryogen instruments glyceride then it is metallurgical. sent5: if the fact that either the cryogen does not animadvert or it is not articular or both is not true then the horn does not instrument glyceride. sent6: the novel animadverts. sent7: the cryogen does not animadvert if that the horn does not animadvert and is not an easement does not hold. sent8: if the franklin is not an easement it animadverts and it is articular. sent9: if the horn is a pushup then that it is non-metallurgical thing that does not animadvert is false. sent10: if something does not animadvert then it is not metallurgical. sent11: that either something is not a kind of an overpayment or it is not a pushup or both is false if it does instrument glyceride. sent12: if the fact that the franklin animadverts is not incorrect the fact that it instruments glyceride and is not a pushup is incorrect. sent13: if the horn is articular that it does animadvert and it is not an easement is not correct. sent14: the fact that the cryogen is not a kind of a pushup and it does not animadvert is not correct. sent15: the fact that the franklin is not a Lome but it is metallurgical does not hold. sent16: if that the franklin is not an overpayment and/or is not a pushup is wrong then the wintergreen is not a cosmopolitan. sent17: the cryogen is not an easement if it does not animadvert. sent18: the fact that the franklin is not a pushup or is not articular or both is not right. sent19: if something is not cytogenetics it is not a cosmopolitan. sent20: that the cryogen does instrument glyceride is true if the wintergreen is not a cosmopolitan. sent21: if that something is metallurgical and/or it is not a cosmopolitan does not hold then it does instrument glyceride. sent22: the horn is articular. sent23: the fact that the cryogen does not animadvert if the horn animadvert is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that that that the franklin is not an overpayment or it is not a pushup or both is not correct hold.; sent16 & assump1 -> int1: the wintergreen is not a cosmopolitan.; int1 & sent20 -> int2: the cryogen instruments glyceride.; int2 & sent4 -> int3: the cryogen is metallurgical.; sent10 -> int4: if the cryogen does not animadvert that it is not metallurgical hold.; sent2 & sent22 -> int5: the fact that the horn does not animadvert and it is not an easement does not hold.; sent7 & int5 -> int6: the cryogen does not animadvert.; int4 & int6 -> int7: the cryogen is not metallurgical.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__