that the Blackburn does not commercialize journey or it does not rubbish paparazzo or both does not hold.
sent1: the bunny is not a kind of a potassium. sent2: the tinderbox does rubbish paparazzo if the foregrounding is a Wiccan. sent3: if the bunny is not a potassium then the fact that it is not a kind of a metric and it is a eusporangium is incorrect. sent4: if the fact that the tinderbox rubbishes paparazzo is true then that either the Blackburn does not commercialize journey or it does not rubbishes paparazzo or both is not correct. sent5: the foregrounding is a Wiccan if the fact that the bunny is a kind of non-metric a eusporangium is wrong.
sent3 & sent1 -> int1: that that the bunny is not a kind of a metric but it is a eusporangium is true does not hold.; sent5 & int1 -> int2: the foregrounding is a Wiccan.; sent2 & int2 -> int3: the tinderbox does rubbish paparazzo.; sent4 & int3 -> hypothesis;
$hypothesis$ = that the Blackburn does not commercialize journey or it does not rubbish paparazzo or both does not hold. ; $context$ = sent1: the bunny is not a kind of a potassium. sent2: the tinderbox does rubbish paparazzo if the foregrounding is a Wiccan. sent3: if the bunny is not a potassium then the fact that it is not a kind of a metric and it is a eusporangium is incorrect. sent4: if the fact that the tinderbox rubbishes paparazzo is true then that either the Blackburn does not commercialize journey or it does not rubbishes paparazzo or both is not correct. sent5: the foregrounding is a Wiccan if the fact that the bunny is a kind of non-metric a eusporangium is wrong. ; $proof$ = 
sent3 & sent1 -> int1: that that the bunny is not a kind of a metric but it is a eusporangium is true does not hold.; sent5 & int1 -> int2: the foregrounding is a Wiccan.; sent2 & int2 -> int3: the tinderbox does rubbish paparazzo.; sent4 & int3 -> hypothesis; __PROVED__