there is something such that the fact that it is a kind of a capillary and/or does consult is not right.
sent1: there is something such that the fact that it skims socage or it does skim fanjet or both is not true. sent2: the shogun is not a capillary. sent3: if the snivel is cacodemonic it is a Yahweh. sent4: if the snivel does not consult the fact that either the shogun is a capillary or it consult or both is not right. sent5: if something is a Stonehenge and it finds it is not true-false. sent6: the snivel is cacodemonic. sent7: if something deduces talk and it deduces capelin it does not survey. sent8: the legionnaire putters. sent9: if the snivel is not cacodemonic then the shogun is not cacodemonic. sent10: the shogun is spiritualistic. sent11: there exists something such that the fact that it is a capillary and/or it does consult hold. sent12: the shogun is not digital if it is a autacoid and it is cacodemonic. sent13: the legionnaire is cacodemonic if the snivel is cacodemonic. sent14: the codlins-and-cream is a kind of a monasticism that skims Gillespie. sent15: there is something such that the fact that it skims fanjet and/or it is a lastingness is false. sent16: there exists something such that the fact that it is not a kind of a capillary hold. sent17: something is not tetravalent if it is noninvasive and it is a spot-welder. sent18: the watchtower does not putter. sent19: if the snivel does not consult then the shogun is not a kind of a capillary. sent20: something does not consult. sent21: the legionnaire is an acute. sent22: the legionnaire is binoculars. sent23: the fact that the snivel is aspectual is false. sent24: the legionnaire does consult. sent25: something does not consult if it is a Yahweh and it is a putter.
sent3 & sent6 -> int1: the snivel is a Yahweh.; sent25 -> int2: if the snivel is a Yahweh and it is a putter it does not consult.;
$hypothesis$ = there is something such that the fact that it is a kind of a capillary and/or does consult is not right. ; $context$ = sent1: there is something such that the fact that it skims socage or it does skim fanjet or both is not true. sent2: the shogun is not a capillary. sent3: if the snivel is cacodemonic it is a Yahweh. sent4: if the snivel does not consult the fact that either the shogun is a capillary or it consult or both is not right. sent5: if something is a Stonehenge and it finds it is not true-false. sent6: the snivel is cacodemonic. sent7: if something deduces talk and it deduces capelin it does not survey. sent8: the legionnaire putters. sent9: if the snivel is not cacodemonic then the shogun is not cacodemonic. sent10: the shogun is spiritualistic. sent11: there exists something such that the fact that it is a capillary and/or it does consult hold. sent12: the shogun is not digital if it is a autacoid and it is cacodemonic. sent13: the legionnaire is cacodemonic if the snivel is cacodemonic. sent14: the codlins-and-cream is a kind of a monasticism that skims Gillespie. sent15: there is something such that the fact that it skims fanjet and/or it is a lastingness is false. sent16: there exists something such that the fact that it is not a kind of a capillary hold. sent17: something is not tetravalent if it is noninvasive and it is a spot-welder. sent18: the watchtower does not putter. sent19: if the snivel does not consult then the shogun is not a kind of a capillary. sent20: something does not consult. sent21: the legionnaire is an acute. sent22: the legionnaire is binoculars. sent23: the fact that the snivel is aspectual is false. sent24: the legionnaire does consult. sent25: something does not consult if it is a Yahweh and it is a putter. ; $proof$ = 
sent3 & sent6 -> int1: the snivel is a Yahweh.; sent25 -> int2: if the snivel is a Yahweh and it is a putter it does not consult.; __UNKNOWN__