the roan is not irreversible but it does glare EE.
sent1: if the mycelium is piscatorial then that the roan is not irreversible and glares EE is incorrect. sent2: the fact that the mycelium does not wan and is bibless does not hold. sent3: if the calligrapher is piscatorial then the roan is a kind of non-irreversible thing that is piscatorial. sent4: that the mycelium does not wan and is not bibless is wrong. sent5: the roan is not irreversible but it is bibless. sent6: the mycelium glares EE if that the hippocampus is not piscatorial and it is not bibless is incorrect. sent7: the fact that the hippocampus glares EE is not wrong if the calligrapher is piscatorial. sent8: the roan is not irreversible if the hippocampus does glare EE. sent9: if the fact that the mycelium does not wan and is not bibless is not correct then the calligrapher is not non-piscatorial. sent10: the fact that the roan does not glare EE and it is not piscatorial is wrong. sent11: if the mycelium is bibless the calligrapher is piscatorial. sent12: the mycelium does glare EE. sent13: if the hippocampus wans then the mycelium does glare EE. sent14: the fact that the mycelium is not irreversible and not bibless does not hold. sent15: the roan is not irreversible.
sent9 & sent4 -> int1: the calligrapher is piscatorial.; sent7 & int1 -> int2: the hippocampus does glare EE.;
that the roan is not irreversible and glares EE is wrong.
$hypothesis$ = the roan is not irreversible but it does glare EE. ; $context$ = sent1: if the mycelium is piscatorial then that the roan is not irreversible and glares EE is incorrect. sent2: the fact that the mycelium does not wan and is bibless does not hold. sent3: if the calligrapher is piscatorial then the roan is a kind of non-irreversible thing that is piscatorial. sent4: that the mycelium does not wan and is not bibless is wrong. sent5: the roan is not irreversible but it is bibless. sent6: the mycelium glares EE if that the hippocampus is not piscatorial and it is not bibless is incorrect. sent7: the fact that the hippocampus glares EE is not wrong if the calligrapher is piscatorial. sent8: the roan is not irreversible if the hippocampus does glare EE. sent9: if the fact that the mycelium does not wan and is not bibless is not correct then the calligrapher is not non-piscatorial. sent10: the fact that the roan does not glare EE and it is not piscatorial is wrong. sent11: if the mycelium is bibless the calligrapher is piscatorial. sent12: the mycelium does glare EE. sent13: if the hippocampus wans then the mycelium does glare EE. sent14: the fact that the mycelium is not irreversible and not bibless does not hold. sent15: the roan is not irreversible. ; $proof$ = 
sent9 & sent4 -> int1: the calligrapher is piscatorial.; sent7 & int1 -> int2: the hippocampus does glare EE.; __UNKNOWN__