the pylorus is non-heterodyne.
sent1: if the lode does suborn pass-through the remedy is an escaped. sent2: the pylorus is not a Solandra. sent3: the cologne does not suborn pass-through. sent4: something suborns nitride and does not fetter neuralgia if it does not lob pylorus. sent5: if the remedy does suborn nitride and does not fetter neuralgia the pylorus owes. sent6: if that the remedy is nonpregnant but it is not a Songhai does not hold it is a Solandra. sent7: if something does lob cyclostome it is not a kind of an escaped. sent8: if the fact that the cologne is cross-sectional and/or does suborn pass-through is not correct the pylorus is non-heterodyne. sent9: if something does suborn pass-through then it is not an escaped and it is cross-sectional. sent10: if the remedy is not an escaped that the cologne does not suborn pass-through hold. sent11: the cologne is not anoxemic. sent12: the remedy does not escape if it lobs cyclostome. sent13: that the tipster does fetter neuralgia and it owes does not hold. sent14: the fact that either the cologne is cross-sectional or it does suborn pass-through or both is wrong if the remedy does not escape. sent15: the fact that the remedy is a kind of a Solandra hold if it is not nonpregnant. sent16: if the pylorus does not owe then the fact that it is cross-sectional and it does heterodyne is true. sent17: something does suborn pass-through if it does owe. sent18: something is both not hydrostatics and pectoral if it is not anoxemic. sent19: if that the remedy is a kind of non-cross-sectional thing that does not escape is not correct the tower does not lob cyclostome. sent20: that the remedy is nonpregnant but it is not a kind of a Songhai is not true. sent21: if something suborns pass-through then that it is not cross-sectional and it is not an escaped is not true. sent22: the cologne is not a Songhai if the remedy is a Songhai and it lobs cyclostome. sent23: the pylorus lobs cyclostome and is heterodyne if the remedy is not a Solandra.
sent6 & sent20 -> int1: the remedy is a Solandra.; int1 -> int2: the remedy lobs cyclostome or it is a kind of a Solandra or both.;
the cologne is not a Songhai.
sent13 -> int3: there is something such that that it does fetter neuralgia and does owe is false.;
$hypothesis$ = the pylorus is non-heterodyne. ; $context$ = sent1: if the lode does suborn pass-through the remedy is an escaped. sent2: the pylorus is not a Solandra. sent3: the cologne does not suborn pass-through. sent4: something suborns nitride and does not fetter neuralgia if it does not lob pylorus. sent5: if the remedy does suborn nitride and does not fetter neuralgia the pylorus owes. sent6: if that the remedy is nonpregnant but it is not a Songhai does not hold it is a Solandra. sent7: if something does lob cyclostome it is not a kind of an escaped. sent8: if the fact that the cologne is cross-sectional and/or does suborn pass-through is not correct the pylorus is non-heterodyne. sent9: if something does suborn pass-through then it is not an escaped and it is cross-sectional. sent10: if the remedy is not an escaped that the cologne does not suborn pass-through hold. sent11: the cologne is not anoxemic. sent12: the remedy does not escape if it lobs cyclostome. sent13: that the tipster does fetter neuralgia and it owes does not hold. sent14: the fact that either the cologne is cross-sectional or it does suborn pass-through or both is wrong if the remedy does not escape. sent15: the fact that the remedy is a kind of a Solandra hold if it is not nonpregnant. sent16: if the pylorus does not owe then the fact that it is cross-sectional and it does heterodyne is true. sent17: something does suborn pass-through if it does owe. sent18: something is both not hydrostatics and pectoral if it is not anoxemic. sent19: if that the remedy is a kind of non-cross-sectional thing that does not escape is not correct the tower does not lob cyclostome. sent20: that the remedy is nonpregnant but it is not a kind of a Songhai is not true. sent21: if something suborns pass-through then that it is not cross-sectional and it is not an escaped is not true. sent22: the cologne is not a Songhai if the remedy is a Songhai and it lobs cyclostome. sent23: the pylorus lobs cyclostome and is heterodyne if the remedy is not a Solandra. ; $proof$ = 
sent6 & sent20 -> int1: the remedy is a Solandra.; int1 -> int2: the remedy lobs cyclostome or it is a kind of a Solandra or both.; __UNKNOWN__