the drifting happens.
sent1: both the Corsicanness and the nursing crew happens. sent2: the readmission happens. sent3: if both the exudation and the unrenewableness happens then the apostleship does not occur. sent4: if the jet does not occur the Corsicanness does not occur. sent5: that the renewableness occurs and the readmission happens prevents that the jet happens. sent6: not the Lao but the flatness occurs. sent7: that the Laoness does not occur triggers that both the exudation and the perfidy happens. sent8: if the apostleship does not occur the fact that the drifting occurs is true.
void -> assump1: Let's assume that that the renewableness occurs is not wrong.; assump1 & sent2 -> int1: the renewableness occurs and the readmission occurs.; int1 & sent5 -> int2: the jet does not occur.; int2 & sent4 -> int3: the Corsicanness does not occur.; sent1 -> int4: the Corsicanness occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the renewableness does not occur.; sent6 -> int7: the Lao does not occur.; sent7 & int7 -> int8: the exudation happens and the perfidy happens.; int8 -> int9: the exudation happens.; int6 & int9 -> int10: the exudation but not the renewableness occurs.; int10 & sent3 -> int11: the apostleship does not occur.; int11 & sent8 -> hypothesis;
$hypothesis$ = the drifting happens. ; $context$ = sent1: both the Corsicanness and the nursing crew happens. sent2: the readmission happens. sent3: if both the exudation and the unrenewableness happens then the apostleship does not occur. sent4: if the jet does not occur the Corsicanness does not occur. sent5: that the renewableness occurs and the readmission happens prevents that the jet happens. sent6: not the Lao but the flatness occurs. sent7: that the Laoness does not occur triggers that both the exudation and the perfidy happens. sent8: if the apostleship does not occur the fact that the drifting occurs is true. ; $proof$ = 
void -> assump1: Let's assume that that the renewableness occurs is not wrong.; assump1 & sent2 -> int1: the renewableness occurs and the readmission occurs.; int1 & sent5 -> int2: the jet does not occur.; int2 & sent4 -> int3: the Corsicanness does not occur.; sent1 -> int4: the Corsicanness occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the renewableness does not occur.; sent6 -> int7: the Lao does not occur.; sent7 & int7 -> int8: the exudation happens and the perfidy happens.; int8 -> int9: the exudation happens.; int6 & int9 -> int10: the exudation but not the renewableness occurs.; int10 & sent3 -> int11: the apostleship does not occur.; int11 & sent8 -> hypothesis; __PROVED__