the silversword is unreceptive.
sent1: something is not a stocked but it does determine countermeasure if it is a rustication. sent2: the chokecherry is not a kind of a stocked if it is epicurean thing that is a kind of a spring. sent3: that the silversword is receptive hold if the chokecherry is not a stocked. sent4: the chokecherry is not epicurean. sent5: the thrower is not a sense. sent6: the chokecherry is not epicurean and is a kind of a spring. sent7: if the chokecherry is not epicurean but it is a kind of a spring the fact that it is a stocked is not correct. sent8: the silversword is unreceptive and is not a stocked if the chokecherry does not determine countermeasure. sent9: the thrower is a kind of a Middleton that dogmatizes bailey if it does not sense.
sent7 & sent6 -> int1: the chokecherry is not a stocked.; sent3 & int1 -> hypothesis;
the chokecherry is not unreceptive.
sent1 -> int2: if that the silversword is a rustication is not incorrect it is not a stocked and does determine countermeasure.; sent9 & sent5 -> int3: the thrower is a Middleton and it does dogmatize bailey.; int3 -> int4: the thrower does dogmatize bailey.; int4 -> int5: there exists something such that it does dogmatize bailey.;
$hypothesis$ = the silversword is unreceptive. ; $context$ = sent1: something is not a stocked but it does determine countermeasure if it is a rustication. sent2: the chokecherry is not a kind of a stocked if it is epicurean thing that is a kind of a spring. sent3: that the silversword is receptive hold if the chokecherry is not a stocked. sent4: the chokecherry is not epicurean. sent5: the thrower is not a sense. sent6: the chokecherry is not epicurean and is a kind of a spring. sent7: if the chokecherry is not epicurean but it is a kind of a spring the fact that it is a stocked is not correct. sent8: the silversword is unreceptive and is not a stocked if the chokecherry does not determine countermeasure. sent9: the thrower is a kind of a Middleton that dogmatizes bailey if it does not sense. ; $proof$ = 
sent7 & sent6 -> int1: the chokecherry is not a stocked.; sent3 & int1 -> hypothesis; __DISPROVED__