the Burnside is a kind of a condescension.
sent1: if there exists something such that it is not Anglo-catholic the fact that the oviduct is not asexual is not false. sent2: if the oviduct is not asexual the armband is a rope-a-dope. sent3: there exists something such that it is not Anglo-catholic. sent4: the Burnside is a kind of a Para if that the armband is a rope-a-dope hold. sent5: if something is a kind of a Para then it is a condescension.
sent3 & sent1 -> int1: the oviduct is non-asexual.; int1 & sent2 -> int2: the armband is a kind of a rope-a-dope.; int2 & sent4 -> int3: the Burnside is a Para.; sent5 -> int4: the Burnside is a condescension if it is a Para.; int3 & int4 -> hypothesis;
$hypothesis$ = the Burnside is a kind of a condescension. ; $context$ = sent1: if there exists something such that it is not Anglo-catholic the fact that the oviduct is not asexual is not false. sent2: if the oviduct is not asexual the armband is a rope-a-dope. sent3: there exists something such that it is not Anglo-catholic. sent4: the Burnside is a kind of a Para if that the armband is a rope-a-dope hold. sent5: if something is a kind of a Para then it is a condescension. ; $proof$ = 
sent3 & sent1 -> int1: the oviduct is non-asexual.; int1 & sent2 -> int2: the armband is a kind of a rope-a-dope.; int2 & sent4 -> int3: the Burnside is a Para.; sent5 -> int4: the Burnside is a condescension if it is a Para.; int3 & int4 -> hypothesis; __PROVED__