the Chihuahua is a kind of a Cheviots and it does verbalize.
sent1: that either something is not a Cheviots or it does verbalize or both does not hold if it does not proliferate Merman. sent2: the fact that the sheepshank is a kind of a scrimshanker is not incorrect if the coalface is a scrimshanker. sent3: that the Dewar is generative hold. sent4: the Chihuahua is generative. sent5: the marauder is a pulsar. sent6: if something is not an arcade that it is a trend-setter and proliferates Merman does not hold. sent7: the dichroism does verbalize. sent8: if the marauder is a pulsar then the coalface does proliferate Aglaia. sent9: the Chihuahua proliferates circumvention. sent10: the Chihuahua is a kind of generative thing that verbalizes. sent11: if something does proliferate Aglaia then it is a scrimshanker. sent12: if something is not on-line then it is not an arcade. sent13: that the ameloblast is not generative is right if the fact that the sheepshank is a trend-setter and it does proliferate Merman is false. sent14: the fact that something is not insurrectional but it is on-line is not right if it is a scrimshanker. sent15: the Chihuahua proliferates Merman. sent16: something is not on-line if that it is not insurrectional and is on-line is not correct. sent17: if the sheepshank is a trend-setter the fact that it is generative thing that does not proliferate Merman is false. sent18: the Chihuahua proliferates Merman and it is a Cheviots.
sent10 -> int1: the Chihuahua does verbalize.; sent18 -> int2: the Chihuahua is a kind of a Cheviots.; int1 & int2 -> hypothesis;
that the Chihuahua is a Cheviots and it does verbalize does not hold.
$hypothesis$ = the Chihuahua is a kind of a Cheviots and it does verbalize. ; $context$ = sent1: that either something is not a Cheviots or it does verbalize or both does not hold if it does not proliferate Merman. sent2: the fact that the sheepshank is a kind of a scrimshanker is not incorrect if the coalface is a scrimshanker. sent3: that the Dewar is generative hold. sent4: the Chihuahua is generative. sent5: the marauder is a pulsar. sent6: if something is not an arcade that it is a trend-setter and proliferates Merman does not hold. sent7: the dichroism does verbalize. sent8: if the marauder is a pulsar then the coalface does proliferate Aglaia. sent9: the Chihuahua proliferates circumvention. sent10: the Chihuahua is a kind of generative thing that verbalizes. sent11: if something does proliferate Aglaia then it is a scrimshanker. sent12: if something is not on-line then it is not an arcade. sent13: that the ameloblast is not generative is right if the fact that the sheepshank is a trend-setter and it does proliferate Merman is false. sent14: the fact that something is not insurrectional but it is on-line is not right if it is a scrimshanker. sent15: the Chihuahua proliferates Merman. sent16: something is not on-line if that it is not insurrectional and is on-line is not correct. sent17: if the sheepshank is a trend-setter the fact that it is generative thing that does not proliferate Merman is false. sent18: the Chihuahua proliferates Merman and it is a Cheviots. ; $proof$ = 
sent10 -> int1: the Chihuahua does verbalize.; sent18 -> int2: the Chihuahua is a kind of a Cheviots.; int1 & int2 -> hypothesis; __PROVED__