the perchlorate is not striate.
sent1: The Wilmington does not treble perchlorate. sent2: something does striate if it does not treble Wilmington. sent3: the perchlorate does not treble Wilmington.
sent2 -> int1: the perchlorate is striate if it does not treble Wilmington.; int1 & sent3 -> hypothesis;
$hypothesis$ = the perchlorate is not striate. ; $context$ = sent1: The Wilmington does not treble perchlorate. sent2: something does striate if it does not treble Wilmington. sent3: the perchlorate does not treble Wilmington. ; $proof$ = 
sent2 -> int1: the perchlorate is striate if it does not treble Wilmington.; int1 & sent3 -> hypothesis; __DISPROVED__