if the overrefining lettuce does not occur the congratulating automatic does not occur.
sent1: the patristicsness does not occur. sent2: that the exenteration does not occur is prevented by that the non-patristicsness and the congratulating automatic occurs. sent3: the fact that the congratulating automatic does not occur hold if the overrefining lettuce occurs. sent4: that the jogging happens is right.
void -> assump1: Let's assume that the congratulating automatic happens.; sent1 & assump1 -> int1: both the non-patristicsness and the congratulating automatic occurs.; sent2 & int1 -> int2: the exenteration happens.;
$hypothesis$ = if the overrefining lettuce does not occur the congratulating automatic does not occur. ; $context$ = sent1: the patristicsness does not occur. sent2: that the exenteration does not occur is prevented by that the non-patristicsness and the congratulating automatic occurs. sent3: the fact that the congratulating automatic does not occur hold if the overrefining lettuce occurs. sent4: that the jogging happens is right. ; $proof$ = 
void -> assump1: Let's assume that the congratulating automatic happens.; sent1 & assump1 -> int1: both the non-patristicsness and the congratulating automatic occurs.; sent2 & int1 -> int2: the exenteration happens.; __UNKNOWN__