the fact that the fret does restore statuary and is not cardinal is incorrect.
sent1: if there exists something such that the fact that it is a paganism and it is not a trench is incorrect then the cottontail is not a Borodin. sent2: there exists something such that the fact that it is a kind of a paganism and it is a kind of a trench is incorrect. sent3: there is something such that that it is a paganism and does not trench is false. sent4: if the lubricant is Donnean then the watercannon restores statuary. sent5: if the cottontail does not restore eptatretus the lubricant is a parachutist and it restore eptatretus. sent6: that the fret restores statuary but it is non-cardinal is wrong if the watercannon restores statuary. sent7: if something that is not macrocosmic is departmental then it does not restore eptatretus. sent8: if something does restore eptatretus it is Donnean.
sent3 & sent1 -> int1: the cottontail is not a Borodin.; sent7 -> int2: the cottontail does not restore eptatretus if it is non-macrocosmic thing that is departmental.; sent8 -> int3: if the lubricant does restore eptatretus then it is Donnean.;
$hypothesis$ = the fact that the fret does restore statuary and is not cardinal is incorrect. ; $context$ = sent1: if there exists something such that the fact that it is a paganism and it is not a trench is incorrect then the cottontail is not a Borodin. sent2: there exists something such that the fact that it is a kind of a paganism and it is a kind of a trench is incorrect. sent3: there is something such that that it is a paganism and does not trench is false. sent4: if the lubricant is Donnean then the watercannon restores statuary. sent5: if the cottontail does not restore eptatretus the lubricant is a parachutist and it restore eptatretus. sent6: that the fret restores statuary but it is non-cardinal is wrong if the watercannon restores statuary. sent7: if something that is not macrocosmic is departmental then it does not restore eptatretus. sent8: if something does restore eptatretus it is Donnean. ; $proof$ = 
sent3 & sent1 -> int1: the cottontail is not a Borodin.; sent7 -> int2: the cottontail does not restore eptatretus if it is non-macrocosmic thing that is departmental.; sent8 -> int3: if the lubricant does restore eptatretus then it is Donnean.; __UNKNOWN__