there exists something such that it is a kind of non-Iranian thing that is not an outback.
sent1: something is not conclusive if it is not a wipeout. sent2: the corticosterone does not exacerbate jocoseness but it is a oligodendrocyte. sent3: something is not an outback if that it drains corticosterone and is a raree-show is not right. sent4: if the proletarian is not a raree-show then the fact that the puppeteer drains corticosterone and is a kind of a raree-show is not true. sent5: the pen-friend is not an outback if it exacerbates jocoseness and it is a kind of a Iranian. sent6: if something that is a kind of a marabou is not a heave then it is not a kind of a raree-show. sent7: if the corticosterone does not exacerbate jocoseness and is a oligodendrocyte the Somali is not a kind of a wipeout. sent8: if the puppeteer is not an outback then the pen-friend is not a Iranian and not an outback.
sent7 & sent2 -> int1: the fact that the Somali is not a wipeout is right.; sent1 -> int2: the Somali is not conclusive if it is not a wipeout.; int1 & int2 -> int3: the Somali is not conclusive.; sent6 -> int4: the proletarian is not a raree-show if it is a kind of a marabou and it is not a heave.; sent3 -> int5: if that the puppeteer does drain corticosterone and is a raree-show does not hold then that it is not an outback is correct.;
$hypothesis$ = there exists something such that it is a kind of non-Iranian thing that is not an outback. ; $context$ = sent1: something is not conclusive if it is not a wipeout. sent2: the corticosterone does not exacerbate jocoseness but it is a oligodendrocyte. sent3: something is not an outback if that it drains corticosterone and is a raree-show is not right. sent4: if the proletarian is not a raree-show then the fact that the puppeteer drains corticosterone and is a kind of a raree-show is not true. sent5: the pen-friend is not an outback if it exacerbates jocoseness and it is a kind of a Iranian. sent6: if something that is a kind of a marabou is not a heave then it is not a kind of a raree-show. sent7: if the corticosterone does not exacerbate jocoseness and is a oligodendrocyte the Somali is not a kind of a wipeout. sent8: if the puppeteer is not an outback then the pen-friend is not a Iranian and not an outback. ; $proof$ = 
sent7 & sent2 -> int1: the fact that the Somali is not a wipeout is right.; sent1 -> int2: the Somali is not conclusive if it is not a wipeout.; int1 & int2 -> int3: the Somali is not conclusive.; sent6 -> int4: the proletarian is not a raree-show if it is a kind of a marabou and it is not a heave.; sent3 -> int5: if that the puppeteer does drain corticosterone and is a raree-show does not hold then that it is not an outback is correct.; __UNKNOWN__