if the mindlessness happens then the fact that that the fossilness but not the prewarness occurs does not hold is true.
sent1: that the propitiating does not occur and/or the mindfulness yields that the schizophrenic occurs. sent2: the propitiating happens if that the varnishing parasol does not occur and the time does not occur does not hold. sent3: if the mindlessness happens then that the varnishing parasol does not occur and the timing does not occur is not true. sent4: that both the fossilness and the non-prewarness occurs does not hold if the propitiating occurs.
void -> assump1: Let's assume that the mindlessness happens.; sent3 & assump1 -> int1: the fact that the varnishing parasol does not occur and the time does not occur does not hold.; sent2 & int1 -> int2: the propitiating happens.; sent4 & int2 -> int3: that both the fossilness and the non-prewarness occurs is not correct.; [assump1] & int3 -> hypothesis;
the schizophrenic happens.
$hypothesis$ = if the mindlessness happens then the fact that that the fossilness but not the prewarness occurs does not hold is true. ; $context$ = sent1: that the propitiating does not occur and/or the mindfulness yields that the schizophrenic occurs. sent2: the propitiating happens if that the varnishing parasol does not occur and the time does not occur does not hold. sent3: if the mindlessness happens then that the varnishing parasol does not occur and the timing does not occur is not true. sent4: that both the fossilness and the non-prewarness occurs does not hold if the propitiating occurs. ; $proof$ = 
void -> assump1: Let's assume that the mindlessness happens.; sent3 & assump1 -> int1: the fact that the varnishing parasol does not occur and the time does not occur does not hold.; sent2 & int1 -> int2: the propitiating happens.; sent4 & int2 -> int3: that both the fossilness and the non-prewarness occurs is not correct.; [assump1] & int3 -> hypothesis; __PROVED__