the outfitter is not a Matterhorn.
sent1: something is a kind of amphoteric thing that does not spoil sculptress. sent2: if something does not spoil shoeshine it either is not a kind of a dot-com or is not a kind of a stepdaughter or both. sent3: the outfitter does not spoil sculptress. sent4: something is striate and it is a kind of a Matterhorn if it is not a kind of a stepdaughter. sent5: the tropicbird is katabatic and is not a Huron. sent6: the fact that the page is amphoteric and does spoil sculptress is wrong. sent7: that the page is a kind of amphoteric thing that does not spoil sculptress does not hold. sent8: if there is something such that it spoils sculptress then the outfitter is not a Matterhorn. sent9: if something that is katabatic is not a Huron it is not a Nauru. sent10: something does not spoil shoeshine if it is not a Nauru. sent11: there exists something such that that it is a kind of amphoteric thing that does spoil sculptress is not correct. sent12: the outfitter is not a Matterhorn if there is something such that that it is amphoteric and it does not spoil sculptress does not hold.
sent7 -> int1: there is something such that the fact that it is amphoteric and it does not spoil sculptress is not true.; int1 & sent12 -> hypothesis;
the outfitter is a Matterhorn.
sent4 -> int2: the outfitter is striate and a Matterhorn if it is not a stepdaughter.; sent2 -> int3: the tropicbird is not dot-com and/or it is not a stepdaughter if it does not spoil shoeshine.; sent10 -> int4: the tropicbird does not spoil shoeshine if it is not a kind of a Nauru.; sent9 -> int5: the tropicbird is not a Nauru if it is both katabatic and not a Huron.; int5 & sent5 -> int6: the tropicbird is not a Nauru.; int4 & int6 -> int7: that the tropicbird does not spoil shoeshine hold.; int3 & int7 -> int8: the tropicbird either is not a dot-com or is not a stepdaughter or both.;
$hypothesis$ = the outfitter is not a Matterhorn. ; $context$ = sent1: something is a kind of amphoteric thing that does not spoil sculptress. sent2: if something does not spoil shoeshine it either is not a kind of a dot-com or is not a kind of a stepdaughter or both. sent3: the outfitter does not spoil sculptress. sent4: something is striate and it is a kind of a Matterhorn if it is not a kind of a stepdaughter. sent5: the tropicbird is katabatic and is not a Huron. sent6: the fact that the page is amphoteric and does spoil sculptress is wrong. sent7: that the page is a kind of amphoteric thing that does not spoil sculptress does not hold. sent8: if there is something such that it spoils sculptress then the outfitter is not a Matterhorn. sent9: if something that is katabatic is not a Huron it is not a Nauru. sent10: something does not spoil shoeshine if it is not a Nauru. sent11: there exists something such that that it is a kind of amphoteric thing that does spoil sculptress is not correct. sent12: the outfitter is not a Matterhorn if there is something such that that it is amphoteric and it does not spoil sculptress does not hold. ; $proof$ = 
sent7 -> int1: there is something such that the fact that it is amphoteric and it does not spoil sculptress is not true.; int1 & sent12 -> hypothesis; __PROVED__