that the fact that there is something such that it does not name scansion hold is not true.
sent1: the palisade does bayonet palisade. sent2: if something does not bayonet ruble then it is neuropsychiatric and it does bayonet insinuation. sent3: there is something such that it does name scansion. sent4: something does not name scansion if it bayonets conjuncture or does bayonet ruble or both. sent5: something is a Ogcocephalidae. sent6: the palisade bayonets insinuation and bayonets ruble. sent7: if the fact that the bearberry does not bud and does not torment venison does not hold it is a landscapist. sent8: the palisade is a kind of a shrapnel. sent9: if the palisade bayonets conjuncture then the foresail does not bayonet ruble. sent10: the palisade is a Redding and it does name pragmatist.
sent6 -> int1: the fact that the palisade bayonets ruble hold.; int1 -> int2: the palisade does bayonet conjuncture and/or it does bayonet ruble.; sent4 -> int3: that the palisade does not name scansion if the palisade does bayonet conjuncture and/or it does bayonet ruble is not incorrect.; int2 & int3 -> int4: the palisade does not name scansion.; int4 -> hypothesis;
the foresail is not non-neuropsychiatric.
sent2 -> int5: if the foresail does not bayonet ruble then it is neuropsychiatric and it bayonets insinuation.;
$hypothesis$ = that the fact that there is something such that it does not name scansion hold is not true. ; $context$ = sent1: the palisade does bayonet palisade. sent2: if something does not bayonet ruble then it is neuropsychiatric and it does bayonet insinuation. sent3: there is something such that it does name scansion. sent4: something does not name scansion if it bayonets conjuncture or does bayonet ruble or both. sent5: something is a Ogcocephalidae. sent6: the palisade bayonets insinuation and bayonets ruble. sent7: if the fact that the bearberry does not bud and does not torment venison does not hold it is a landscapist. sent8: the palisade is a kind of a shrapnel. sent9: if the palisade bayonets conjuncture then the foresail does not bayonet ruble. sent10: the palisade is a Redding and it does name pragmatist. ; $proof$ = 
sent6 -> int1: the fact that the palisade bayonets ruble hold.; int1 -> int2: the palisade does bayonet conjuncture and/or it does bayonet ruble.; sent4 -> int3: that the palisade does not name scansion if the palisade does bayonet conjuncture and/or it does bayonet ruble is not incorrect.; int2 & int3 -> int4: the palisade does not name scansion.; int4 -> hypothesis; __DISPROVED__