there exists something such that if it is not an earnestness then it is not a kind of an oblate and does blister assembly.
sent1: if that something is not an earnestness is correct it is not an oblate and does blister assembly. sent2: there is something such that if it is not a kind of a Riemann then it is not sulphuric and it is pointless. sent3: if something is not an abele then it does not halve bogy and it is stored-program.
sent1 -> int1: the oregano is not a kind of an oblate but it does blister assembly if it is not an earnestness.; int1 -> hypothesis;
there exists something such that if it is not a kind of an abele then it does not halve bogy and is stored-program.
sent3 -> int2: if the hospital is not a kind of an abele it does not halve bogy and is stored-program.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it is not an earnestness then it is not a kind of an oblate and does blister assembly. ; $context$ = sent1: if that something is not an earnestness is correct it is not an oblate and does blister assembly. sent2: there is something such that if it is not a kind of a Riemann then it is not sulphuric and it is pointless. sent3: if something is not an abele then it does not halve bogy and it is stored-program. ; $proof$ = 
sent1 -> int1: the oregano is not a kind of an oblate but it does blister assembly if it is not an earnestness.; int1 -> hypothesis; __PROVED__