that the Persian is a taste hold.
sent1: The saintliness does philander levanter. sent2: the levanter does philander saintliness. sent3: the Persian is not a kind of a taste if that the fact that the cinchona is non-acarpelous thing that is not austenitic is not right hold. sent4: if the infant's-breath is acarpelous that the cinchona is both not acarpelous and non-austenitic does not hold. sent5: if the levanter does philander saintliness then the infant's-breath is acarpelous. sent6: the Persian is austenitic.
sent5 & sent2 -> int1: the infant's-breath is acarpelous.; int1 & sent4 -> int2: the fact that the cinchona is a kind of non-acarpelous thing that is not austenitic does not hold.; int2 & sent3 -> hypothesis;
$hypothesis$ = that the Persian is a taste hold. ; $context$ = sent1: The saintliness does philander levanter. sent2: the levanter does philander saintliness. sent3: the Persian is not a kind of a taste if that the fact that the cinchona is non-acarpelous thing that is not austenitic is not right hold. sent4: if the infant's-breath is acarpelous that the cinchona is both not acarpelous and non-austenitic does not hold. sent5: if the levanter does philander saintliness then the infant's-breath is acarpelous. sent6: the Persian is austenitic. ; $proof$ = 
sent5 & sent2 -> int1: the infant's-breath is acarpelous.; int1 & sent4 -> int2: the fact that the cinchona is a kind of non-acarpelous thing that is not austenitic does not hold.; int2 & sent3 -> hypothesis; __DISPROVED__