the fact that the doctor does not occur and the exalting itineration does not occur does not hold if that the meatlessness does not occur hold.
sent1: the doctoring does not occur and the exalting itineration does not occur. sent2: the meatlessness occurs if the exalting paralytic occurs. sent3: the word happens if the swamping glyceraldehyde does not occur. sent4: the swamping glyceraldehyde does not occur if the exalting paralytic does not occur.
void -> assump1: Let's assume that the exalting paralytic happens.; sent2 & assump1 -> int1: the meatlessness happens.; void -> assump2: Let's assume that the meatlessness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the exalting paralytic does not occur.; sent4 & int3 -> int4: the swamping glyceraldehyde does not occur.; sent3 & int4 -> int5: the word happens.;
$hypothesis$ = the fact that the doctor does not occur and the exalting itineration does not occur does not hold if that the meatlessness does not occur hold. ; $context$ = sent1: the doctoring does not occur and the exalting itineration does not occur. sent2: the meatlessness occurs if the exalting paralytic occurs. sent3: the word happens if the swamping glyceraldehyde does not occur. sent4: the swamping glyceraldehyde does not occur if the exalting paralytic does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exalting paralytic happens.; sent2 & assump1 -> int1: the meatlessness happens.; void -> assump2: Let's assume that the meatlessness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the exalting paralytic does not occur.; sent4 & int3 -> int4: the swamping glyceraldehyde does not occur.; sent3 & int4 -> int5: the word happens.; __UNKNOWN__