the dipper is not rabbinical.
sent1: the razorblade does bog aspic. sent2: the dipper is not rabbinical and it is not a kind of a citrus if it is acetonic. sent3: The aspic does bog razorblade. sent4: if the razorblade bogs aspic the dipper is acetonic.
sent4 & sent1 -> int1: the dipper is acetonic.; int1 & sent2 -> int2: the dipper is non-rabbinical thing that is not a citrus.; int2 -> hypothesis;
$hypothesis$ = the dipper is not rabbinical. ; $context$ = sent1: the razorblade does bog aspic. sent2: the dipper is not rabbinical and it is not a kind of a citrus if it is acetonic. sent3: The aspic does bog razorblade. sent4: if the razorblade bogs aspic the dipper is acetonic. ; $proof$ = 
sent4 & sent1 -> int1: the dipper is acetonic.; int1 & sent2 -> int2: the dipper is non-rabbinical thing that is not a citrus.; int2 -> hypothesis; __PROVED__