if that the sweet does approach sweet hold the hollandaise is Ebionite.
sent1: the decker does approach sweet. sent2: if the sweet is Ebionite the hollandaise does approach sweet. sent3: something is Ebionite if it is a treated. sent4: the hollandaise is a treated if the sweet does approach sweet.
void -> assump1: Let's assume that that the sweet approaches sweet is true.; sent4 & assump1 -> int1: the hollandaise treats.; sent3 -> int2: the hollandaise is Ebionite if it is a treated.; int1 & int2 -> int3: the hollandaise is Ebionite.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if that the sweet does approach sweet hold the hollandaise is Ebionite. ; $context$ = sent1: the decker does approach sweet. sent2: if the sweet is Ebionite the hollandaise does approach sweet. sent3: something is Ebionite if it is a treated. sent4: the hollandaise is a treated if the sweet does approach sweet. ; $proof$ = 
void -> assump1: Let's assume that that the sweet approaches sweet is true.; sent4 & assump1 -> int1: the hollandaise treats.; sent3 -> int2: the hollandaise is Ebionite if it is a treated.; int1 & int2 -> int3: the hollandaise is Ebionite.; [assump1] & int3 -> hypothesis; __PROVED__