there exists something such that if the fact that it is vicarial is right then it is an analogue.
sent1: if the fact that something is not shutting but it does desecrate kwashiorkor is not right it is a variolation. sent2: the fact that the scallopine is a kind of non-shutting thing that does desecrate kwashiorkor does not hold if the fact that it is vicarial is correct.
void -> assump1: Let's assume that the scallopine is vicarial.; sent2 & assump1 -> int1: the fact that the scallopine is non-shutting and desecrates kwashiorkor is incorrect.; sent1 -> int2: the scallopine is a variolation if that it is not shutting and does desecrate kwashiorkor is not correct.; int1 & int2 -> int3: the scallopine is a variolation.;
$hypothesis$ = there exists something such that if the fact that it is vicarial is right then it is an analogue. ; $context$ = sent1: if the fact that something is not shutting but it does desecrate kwashiorkor is not right it is a variolation. sent2: the fact that the scallopine is a kind of non-shutting thing that does desecrate kwashiorkor does not hold if the fact that it is vicarial is correct. ; $proof$ = 
void -> assump1: Let's assume that the scallopine is vicarial.; sent2 & assump1 -> int1: the fact that the scallopine is non-shutting and desecrates kwashiorkor is incorrect.; sent1 -> int2: the scallopine is a variolation if that it is not shutting and does desecrate kwashiorkor is not correct.; int1 & int2 -> int3: the scallopine is a variolation.; __UNKNOWN__